Nikolaos Kekatos

Identifiers

• name variant Nikolaos Kekatos 0.60 · backfill

Papers (7)

1. Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications cs.RO · 2024 · author #4
2. A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle cs.RO · 2024 · author #6
3. On Neural Network Equivalence Checking using SMT Solvers cs.AI · 2022 · author #2
4. Explaining Outcomes of Multi-Party Dialogues using Causal Learning cs.AI · 2021 · author #4
5. Verifying a Cruise Control System using Simulink and SpaceEx cs.LO · 2020 · author #1
6. Encoding sinusoidal functions in hybrid automata formalism cs.FL · 2020 · author #1
7. Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET$^{SMT}$ cs.FL · 2020 · author #3

Mentions

• 2403.16593 #4 · arxiv_oai · confidence 0.70 Nikolaos Kekatos
• 2402.09097 #6 · arxiv_oai · confidence 0.70 Nikolaos Kekatos
• 2203.11629 #2 · arxiv_oai · confidence 0.70 Nikolaos Kekatos
• 2105.00944 #4 · arxiv_oai · confidence 0.70 Nikolaos Kekatos
• 2101.01255 #3 · arxiv_oai · confidence 0.70 Nikolaos Kekatos
• 2101.00102 #1 · arxiv_oai · confidence 0.70 Nikolaos Kekatos
• 2101.00012 #1 · arxiv_oai · confidence 0.70 Nikolaos Kekatos

Frequent Coauthors

• Antonio Anastasio Bruto da Costa 2 shared papers
• Panagiotis Katsaros 2 shared papers
• Alexandre Donz\'e 1 shared papers
• Anastasios Temperekidis 1 shared papers
• Changshun Wu 1 shared papers
• Charis Eleftheriadis 1 shared papers
• Doron Peled 1 shared papers
• Indranil Saha 1 shared papers
• Inzemamul Haque 1 shared papers
• Loai Ali 1 shared papers
• Mohamed Abdelsalam 1 shared papers
• Pabitra Mitra 1 shared papers
• Pallab Dasgupta 1 shared papers
• Priyanka Sinha 1 shared papers
• Saddek Bensalem 1 shared papers
• Stavros Tripakis 1 shared papers
• Thao Dang 1 shared papers
• Weicheng He 1 shared papers