Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

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