Sign in

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

Nicklas S. JohansenLasse B. KærAndreas L. MadsenKristian Ø. NielsenJirí SrbaRasmus G. Tollund
Published in: IFM (2022)
Keyphrases