A toolchain for verifying safety properties of hybrid automata via pattern templates G Frehse, N Kekatos, D Nickovic, J Oehlerking, S Schuler, A Walsch, ... 2018 Annual American Control Conference (ACC), 2384-2391, 2018 | 14 | 2018 |
Constructing verification models of nonlinear Simulink systems via syntactic hybridization N Kekatos, M Forets, G Frehse 2017 ieee 56th annual conference on decision and control (cdc), 1788-1795, 2017 | 14 | 2017 |
Formal verification of cyber-physical systems in the industrial model-based design process N Kekatos Université Grenoble Alpes, 2018 | 9 | 2018 |
On neural network equivalence checking using smt solvers C Eleftheriadis, N Kekatos, P Katsaros, S Tripakis International Conference on Formal Modeling and Analysis of Timed Systems …, 2022 | 7 | 2022 |
Runtime verification for fmi-based co-simulation A Temperekidis, N Kekatos, P Katsaros International Conference on Runtime Verification, 304-313, 2022 | 6 | 2022 |
Modeling the wind turbine benchmark with PWA hybrid automata N Kekatos, M Forets, G Frehse EPiC Series in Computing 48, 100-113, 2017 | 6 | 2017 |
Continuous engineering for trustworthy learning-enabled autonomous systems S Bensalem, P Katsaros, D Ničković, BHC Liao, RR Nolasco, ... International Conference on Bridging the Gap between AI and Reality, 256-278, 2023 | 4 | 2023 |
Towards a digital twin architecture with formal analysis capabilities for learning-enabled autonomous systems A Temperekidis, N Kekatos, P Katsaros, W He, S Bensalem, ... International Conference on Modelling and Simulation for Autonomous Systems …, 2022 | 4 | 2022 |
Verifying a cruise control system using Simulink and SpaceEx N Kekatos arXiv preprint arXiv:2101.00102, 2020 | 4 | 2020 |
Lane change maneuver for autonomous vehicles (Benchmark Proposal). N Kekatos, D Heß, G Frehse ARCH@ ADHS, 229-241, 2018 | 4 | 2018 |
Explaining outcomes of multi-party dialogues using causal learning P Sinha, P Mitra, AAB da Costa, N Kekatos arXiv preprint arXiv:2105.00944, 2021 | 2 | 2021 |
Formally correct monitors for hybrid automata G Frehse, N Kekatos, D Nickovic Verimag Research Report, 2017 | 1 | 2017 |
Symbolic models for braking systems N Kekatos | 1 | 2015 |
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle M AbdElSalam, L Ali, S Bensalem, W He, P Katsaros, N Kekatos, D Peled, ... arXiv preprint arXiv:2402.09097, 2024 | | 2024 |
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications T Dang, A Donzé, I Haque, N Kekatos, I Saha 2023 62nd IEEE Conference on Decision and Control (CDC), 5339-5344, 2023 | | 2023 |
Plotting Options with SpaceEx N Kekatos | | 2021 |
Encoding sinusoidal functions in hybrid automata formalism N Kekatos arXiv preprint arXiv:2101.00012, 2020 | | 2020 |
A user-guide for running SpaceEx verification tool N Kekatos Verimag Laboratory, 2020 | | 2020 |
ForFET-SMT: Quantitative SMT Analysis of Hybrid Automata using Features AAB da Costa, P Dasgupta, N Kekatos | | 2020 |
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET AAB da Costa, P Dasgupta, N Kekatos arXiv preprint arXiv:2101.01255, 2020 | | 2020 |