Author:Stefan SchuppPublications |
---|
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani and Paolo Zuliani | Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp and Mark Wetzlinger | | | Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp | | | |
KeyphrasesARCH-COMP, C2E2, control synthesis, CORA, formal verification, hybrid models, hybrid systems, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, probabilistic model checking, probabilistic safety and reachability, simulations, SpaceEx, statistical model checking, stochastic models, XSpeed. |
|