Křetínský, Jan http://orcid.org/0000-0002-8122-2881
Meggendorfer, Tobias http://orcid.org/0000-0002-1712-2165
Waldmann, Clara http://orcid.org/0000-0001-6019-7130
Weininger, Maximilian http://orcid.org/0000-0002-0163-2152
Funding for this research was provided by:
deutsche forschungsgemeinschaft (Verified Model Checkers (No. 317422601), Statistical Unbounded Verification (No. 383882557))
alexander von humboldt-stiftung
Article History
Received: 18 June 2020
Accepted: 31 October 2021
First Online: 30 December 2021