Parameter synthesis of polynomial dynamical systems
Article in Information and Computation (November 2022)
The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Article in Journal of Systems and Software (April 2021)
Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler
Book chapter (August 2019)