Contract composition for dynamical control systems: Definition and verification using linear programming
Article in Automatica (June 2024)
The most recent citing publications are shown below. View all 240 publications that cite this research output on Dimensions.
Article in Automatica (June 2024)
Article in Nonlinear Analysis Hybrid Systems (May 2024)
Article in The International Journal of Robotics Research (April 2024)