Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice.

Chih-Hong Cheng, Harald Rue, Alois C. Knoll, Christian Buckl

Browse the full VMCAI paper archive.