Hybrid dynamical systems logic and its refinements
Article in Science of Computer Programming (January 2025)
The most recent citing publications are shown below. View all 482 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (January 2025)
Article in Journal of Mathematical Analysis and Applications (November 2024)
Article in Systems & Control Letters (October 2024)