Author:Rajarshi RayPublications |
---|
Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, Laura Nenzi, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Valentin Soloviev, Ennio Visconti, Masaki Waga and Zhenya Zhang | | Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga and Zhenya Zhang | | | 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-COMP3, Benchmarking2, Bounded Model Checking2, C2E2, CORA, Cyber-Physical Systems2, evaluation2, falsification2, Friendly Competition2, hybrid system, Hybrid System Model Checker, hybrid systems, Hybrid Systems with Piecewise Constant Dynamics, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, model checker, PCDB Category, Piecewise Constant Dynamics, SpaceEx, XSpeed. |
|