Optimal Planning with Expressive Action Languages as Constraint Optimization

von Giunchiglia, Enrico
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions

von Tacchella, Alberto
Veröffentlicht in International ECMS Conference on Modelling and Simulation (34. : 2020 : Wildau, Landkreis Dahme-Spreewald) 34th European Conference on Modelling and Simulation (ECMS 2020) (2020)

Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches

von Demarchi, Stefano
Veröffentlicht in AIxIA (20. : 2021 : Online) AIxIA 2021 - advances in artificial intelligence (2022)

pyNeVer: A Framework for Learning and Verification of Neural Networks

von Guidotti, Dario
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State

von Bit-Monnot, Arthur
Veröffentlicht in International Conference on Automated Planning and Scheduling (29. : 2019 : Berkeley, Calif.) Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (2019)

Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis

von Guidotti, Dario
Veröffentlicht in ECMS International Conference on Modelling and Simulation (35. : 2021 : Online) 35th European Conference on Modelling and Simulation (ECMS 2021) (2021)

Verification of Neural Networks: Enhancing Scalability Through Pruning

von Guidotti, Dario
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

Automated Requirements-Based Testing of Black-Box Reactive Systems

von Narizzano, Massimo
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)