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)

Effective Reductions of Mealy Machines

von Renkin, Florian
Veröffentlicht in IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems (2022)

From Spot 2.0 to Spot 2.10: What’s New?

von Duret-Lutz, Alexandre
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)