Zhennan Fei, S. Miremadi, Knut Åkesson, Bengt Lennartson. Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. In Joaquim Filipe, Ana L. N. Fred, editors, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Rome, Italy, January 28-30, 2011. pages 106-115, SciTePress, 2011.
@inproceedings{FeiMAL11, title = {Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration}, author = {Zhennan Fei and S. Miremadi and Knut Åkesson and Bengt Lennartson}, year = {2011}, tags = {partitioning}, researchr = {https://researchr.org/publication/FeiMAL11}, cites = {0}, citedby = {0}, pages = {106-115}, booktitle = {ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Rome, Italy, January 28-30, 2011}, editor = {Joaquim Filipe and Ana L. N. Fred}, publisher = {SciTePress}, isbn = {978-989-8425-40-9}, }