Non-blind Strategies in Timed Network Congestion Games

von Goeminne, Aline
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Repairing Real-Time Requirements

von Noguchi, Reiya
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?

von Bouyer, Patricia
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Incremental Methods for Checking Real-Time Consistency

von Jéron, Thierry
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)