Kyungmin Bae. Bounded STL Model Checking for Hybrid Systems (Invited Talk). In Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023. pages 1, ACM, 2023. [doi]
Abstract is missing.