PESSOA: A Tool for Embedded Controller Synthesis.

Manuel Mazo Jr., Anna Davitian, Paulo Tabuada

Browse the full CAV paper archive.