Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.

Zhennan Fei, Sajed Miremadi, Knut kesson, Bengt Lennartson

Browse the full ICAART paper archive.