@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"
}