Computer Aided Synthesis: A Game-Theoretic Approach.

Vronique Bruyre

Browse the full DLT paper archive.