Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development. Piterman, N. In 38th International Symposium on Mathematical Foundations of Computer Science, volume 8087, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 45-49, Klosterneuburg, Austria, 2013. &Copy; Springer-Verlag.
Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development [pdf]Paper  bibtex   

Downloads: 0