Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.

Zhennan Fei, Sajed Miremadi, Knut kesson, Bengt Lennartson

Browse the full ICAART paper archive.