Logical Foundations of Cyber-Physical Systems

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I