Adapting Behaviors via Reactive Synthesis.

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss

Browse the full CAV paper archive.