Geogios Fainekos

Identifiers

• name variant Geogios Fainekos 0.60 · backfill

Papers (1)

1. A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems eess.SY · 2023 · author #5

Mentions

• 2303.05394 #5 · arxiv_oai · confidence 0.70 Geogios Fainekos

Frequent Coauthors

• Bardh Hoxha 1 shared papers
• Danil Prokhorov 1 shared papers
• Jyotirmoy Deshmukh 1 shared papers
• Navid Hashemi 1 shared papers
• Tomoya Yamaguchi 1 shared papers