Hybrid automata: from verification to implementation

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review