Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling

von Li, Dongxu
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model

von Bogomolov, Sergiy
Veröffentlicht in RP (14. : 2020 : Online) Reachability problems (2020)

Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings

Veröffentlicht 2022

Data-Driven Reachability Analysis of Digital Twin FMI Models

von Bogomolov, Sergiy
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

Reachability Analysis and Simulation for Hybridised Event-B Models

von Aït-Ameur, Yamine
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement

von Bak, Stanley
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers

Veröffentlicht 2017

Temporal Planning as Refinement-Based Model Checking

von Heinz, Alexander
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)