Layered Controller Synthesis for Dynamic Multi-agent Systems

von Clement, Emily
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

Computing Maximally-Permissive Strategies in Acyclic Timed Automata

von Clement, Emily
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)