Login / Signup

Synthesising Succinct Strategies in Safety and Reachability Games.

Gilles GeeraertsJoël GoossensAmélie Stainer
Published in: RP (2014)
Keyphrases