Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

von Johansen, Nicklas S.
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)