The Modal Transition System Control Problem. D'Ippolito, N., Braberman, V., Piterman, N., & Uchitel, S. In 19th International Symposium on Formal Methods, volume 7436, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 155-170, Paris, France, 2012. &copy; Springer-Verlag.
The Modal Transition System Control Problem [pdf]Paper  bibtex   

Downloads: 0