Synthesizing Efficient Controllers.

Christian von Essen, Barbara Jobstmann

Browse the full VMCAI paper archive.