@InProceedings{Tronci1997, author="Tronci, Enrico", title="On Computing Optimal Controllers for Finite State Systems", booktitle="CDC {\textquoteright}97: Proceedings of the 36th IEEE International Conference on Decision and Control", year="1997", publisher="IEEE Computer Society", address="Washington, DC, USA", optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=66), last updated on Sat, 24 Nov 2012 14:32:44 +0100", opturl="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1474", file=":http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1997.ps:TYPE" }