Incorporating Monitors in Reactive Synthesis Without Paying the Price.

Shaun Azzopardi, Nir Piterman, Gerardo Schneider

Browse the full ATVA paper archive.