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 4,969 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (January 2025)
Article in Automatica (December 2024)
Article in Information Sciences (December 2024)