The following publications are possibly variants of this publication:
- 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-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-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: Continuous and Hybrid Systems with Nonlinear DynamicsLuca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling 0001. arch 2020: 49-75 [doi]
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. arch 2020: 16-48 [doi]
- ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant DynamicsGoran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella. cpsweek 2019: 1-13 [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: Hybrid Systems with Piecewise Constant DynamicsGoran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe. cpsweek 2017: 124-133 [doi]