Login / Signup

Bounded Synthesis for Petri Games.

Bernd Finkbeiner
Published in: Correct System Design (2015)
Keyphrases