Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Bensalem, Saddek, Katsaros, Panagiotis, Ničković, Dejan, Liao, Brian Hsuan-Cheng, Nolasco, Ricardo Ruiz, Ahmed, Mohamed Abd El Salam, Beyene, Tewodros A., Cano, Filip, Delacourt, Antoine, Esen, Hasan, Forrai, Alexandru, He, Weicheng, Huang, Xiaowei, Kekatos, Nikolaos, Könighofer, Bettina, Paulitsch, Michael, Peled, Doron, Ponchant, Matthieu, Sorokin, Lev, Tong, Son, Wu, Changshun
Published in Bridging the Gap Between AI and Reality
Published in Bridging the Gap Between AI and Reality
Get full text
Book Chapter
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
Dang, Thao, Donzé, Alexandre, Haque, Inzemamul, Kekatos, Nikolaos, Saha, Indranil
Year of Publication 25.03.2024
Year of Publication 25.03.2024
Get full text
Journal Article
Enhancing Critical Raw Material Management in Construction: The Role of Building Information Modelling and Life Cycle Assessment
Kekatos, Nikolaos, Genitsaris, Evangelos, Lavasa, Artemis, Valta, Katerina, Tsolakis, Apostolos C., Karakostas, Anastasios
Published in 2024 9th International Conference on Smart and Sustainable Technologies (SpliTech) (25.06.2024)
Published in 2024 9th International Conference on Smart and Sustainable Technologies (SpliTech) (25.06.2024)
Get full text
Conference Proceeding
On Neural Network Equivalence Checking using SMT Solvers
Eleftheriadis, Charis, Kekatos, Nikolaos, Katsaros, Panagiotis, Tripakis, Stavros
Year of Publication 22.03.2022
Year of Publication 22.03.2022
Get full text
Journal Article
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
AbdElSalam, Mohamed, Ali, Loai, Bensalem, Saddek, He, Weicheng, Katsaros, Panagiotis, Kekatos, Nikolaos, Peled, Doron, Temperekidis, Anastasios, Wu, Changshun
Year of Publication 14.02.2024
Year of Publication 14.02.2024
Get full text
Journal Article
Constructing verification models of nonlinear Simulink systems via syntactic hybridization
Kekatos, Nikolaos, Forets, Marcelo, Frehse, Goran
Published in 2017 IEEE 56th Annual Conference on Decision and Control (CDC) (01.12.2017)
Published in 2017 IEEE 56th Annual Conference on Decision and Control (CDC) (01.12.2017)
Get full text
Conference Proceeding
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET$^{SMT}
da Costa, Antonio Anastasio Bruto, Dasgupta, Pallab, Kekatos, Nikolaos
Year of Publication 30.12.2020
Year of Publication 30.12.2020
Get full text
Journal Article
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
Sinha, Priyanka, Mitra, Pabitra, da Costa, Antonio Anastasio Bruto, Kekatos, Nikolaos
Year of Publication 03.05.2021
Year of Publication 03.05.2021
Get full text
Journal Article
On Neural Network Equivalence Checking using SMT Solvers
Eleftheriadis, Charis, Kekatos, Nikolaos, Katsaros, Panagiotis, Tripakis, Stavros
Published in arXiv.org (22.03.2022)
Get full text
Published in arXiv.org (22.03.2022)
Paper
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
Frehse, Goran, Kekatos, Nikolaos, Nickovic, Dejan, Oehlerking, Jens, Schuler, Simone, Walsch, Alexander, Woehrle, Matthias
Published in 2018 Annual American Control Conference (ACC) (01.06.2018)
Published in 2018 Annual American Control Conference (ACC) (01.06.2018)
Get full text
Conference Proceeding
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
AbdElSalam, Mohamed, Ali, Loai, Bensalem, Saddek, He, Weicheng, Katsaros, Panagiotis, Kekatos, Nikolaos, Peled, Doron, Temperekidis, Anastasios, Wu, Changshun
Published in arXiv.org (14.02.2024)
Get full text
Published in arXiv.org (14.02.2024)
Paper