Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games.

Nicklas S. Johansen, Lasse B. Kr, Andreas L. Madsen, Kristian . Nielsen, Jir Srba, Rasmus G. Tollund

Browse the full IFM paper archive.