Synthesis of Reactive(1) Designs.

Nir Piterman, Amir Pnueli, Yaniv Sa'ar

Browse the full VMCAI paper archive.