Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson. Symbolic approach to nonblocking and safe control of Extended Finite Automata. In IEEE Conference on Automation Science and Engineering, CASE 2010, Toronto, ON, Canada, 21-24 August, 2010. pages 471-476, IEEE, 2010. [doi]
@inproceedings{OuedraogoKMA10,
title = {Symbolic approach to nonblocking and safe control of Extended Finite Automata},
author = {Lucien Ouedraogo and Ratnesh Kumar and Robi Malik and Knut Åkesson},
year = {2010},
doi = {10.1109/COASE.2010.5584659},
url = {http://dx.doi.org/10.1109/COASE.2010.5584659},
researchr = {https://researchr.org/publication/OuedraogoKMA10},
cites = {0},
citedby = {0},
pages = {471-476},
booktitle = {IEEE Conference on Automation Science and Engineering, CASE 2010, Toronto, ON, Canada, 21-24 August, 2010},
publisher = {IEEE},
isbn = {978-1-4244-5447-1},
}