Fingerprint
Dive into the research topics of 'A Simplex Architecture for Hybrid Systems Using Barrier Certificates'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Simplex Architecture for Hybrid Systems Using Barrier Certificates
Junxing Yang, Md Islam, Abhishek Murthy, Scott A Smolka, Scott D Stoller
Research output: Contribution to conference › Paper › peer-review