Fingerprint
Dive into the research topics of 'Contract composition for dynamical control systems: Definition and verification using linear programming'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Contract composition for dynamical control systems: Definition and verification using linear programming
Miel Sharf*, Bart Besselink, Karl Henrik Johansson
*Corresponding author for this work
Research output: Contribution to journal › Article › Academic › peer-review
11
Downloads
(Pure)