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 664 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (January 2025)
Article in Journal of the Franklin Institute (November 2024)
Article in IEEE/CAA Journal of Automatica Sinica (October 2024)