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 Runtime verification for fmi-based co-simulation A Temperekidis, N Kekatos, P Katsaros
International Conference on Runtime Verification, 304-313, 2022
6 2022 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
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