( en | de | ru )

 

Disambiguation of "Kekatos, Nikolaos"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata.

, , and . ARCH@CPSWeek, volume 48 of EPiC Series in Computing, page 100-113. EasyChair, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nikolaos Sidiras

Nikolaos Keramaris

Nikolaos Klouras

Nikolaos Tzafaras

Nikolaos Livos

 

Other publications of authors with the same name

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT., , and . CoRR, (2021)Runtime Verification for FMI-Based Co-simulation., , and . RV, volume 13498 of Lecture Notes in Computer Science, page 304-313. Springer, (2022)Lane change maneuver for autonomous vehicles (Benchmark Proposal)., , and . ARCH@ADHS, volume 54 of EPiC Series in Computing, page 229-241. EasyChair, (2018)Modeling the Wind Turbine Benchmark with PWA Hybrid Automata., , and . ARCH@CPSWeek, volume 48 of EPiC Series in Computing, page 100-113. EasyChair, (2017)Verifying a Cruise Control System using Simulink and SpaceEx.. CoRR, (2021)Explaining Outcomes of Multi-Party Dialogues using Causal Learning., , , and . CoRR, (2021)Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems., , , , , , , and . MESAS, volume 13866 of Lecture Notes in Computer Science, page 163-181. Springer, (2022)Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems., , , , , , , , , and 11 other author(s). AISoLA, volume 14380 of Lecture Notes in Computer Science, page 256-278. Springer, (2023)A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle., , , , , , , , and . PoEM Companion, volume 3645 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)On Neural Network Equivalence Checking Using SMT Solvers., , , and . FORMATS, volume 13465 of Lecture Notes in Computer Science, page 237-257. Springer, (2022)