Efficient choice of parameters on delta-reachability bounded hybrid systems
Article in Archives of Control Sciences (July 2023)
The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.
Article in Archives of Control Sciences (July 2023)
Article in Electronic Proceedings in Theoretical Computer Science (August 2021)
Article in ACM SIGLOG News (April 2021)