Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems. - Mover, Sergio (2024)