Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.

Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez

Browse the full ATVA paper archive.