Parameterized Verification of Disjunctive Timed Networks

von André, Etienne
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)

On-the-Fly Synthesis for Strictly Alternating Games

von Karra, Shyam Lal
Veröffentlicht in PETRI NETS (41. : 2020 : Online) Application and theory of petri nets and concurrency (2020)