Zone Extrapolations in Parametric Timed Automata

von Arcile, Johan
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

VERIFCAR: A FRAMEWORK FOR MODELING AND MODEL CHECKING COMMUNICATING AUTONOMOUS VEHICLES

von Arcile, Johan
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 3 of 3 (2021)

Factorization of the State Space Construction for Cyclic Systems with Data

von Arcile, Johan
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)