Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States.

Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray

Browse the full ISRR paper archive.