The following publications are possibly variants of this publication:
- ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. arch 2021: 1-31 [doi]
- ARCH-COMP19 Category Report: Stochastic ModellingAlessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod. cpsweek 2019: 62-102 [doi]
- ARCH-COMP18 Category Report: Stochastic ModellingAlessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod. adhs 2018: 71-103 [doi]
- ARCH-COMP20 Category Report: Stochastic ModelsAlessandro 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, Paolo Zuliani. arch 2020: 76-106 [doi]