Fingerprint
Dive into the research topics of 'Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang Dung Tran, Weiming Xiang
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution