Login / Signup

Reactive Synthesis Without Regret.

Paul HunterGuillermo A. PérezJean-François Raskin
Published in: CONCUR (2015)
Keyphrases