The following publications are possibly variants of this publication:
- ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant DynamicsLei Bu, Rajarshi Ray 0001, Stefan Schupp. cpsweek 2019: 120-128 [doi]
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. cpsweek 2019: 14-40 [doi]
- ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant DynamicsGoran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe. cpsweek 2017: 124-133 [doi]
- ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant DynamicsGoran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella. adhs 2018: 1-13 [doi]
- ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant DynamicsLei Bu, Rajarshi Ray, Stefan Schupp. cpsweek 2017: 134-142 [doi]
- ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant DynamicsLei Bu, Rajarshi Ray 0001, Stefan Schupp. adhs 2018: 14-22 [doi]
- ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model CheckingLei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray 0001, Yuming Wu, Enea Zaffanella. arch 2020: 1-15 [doi]