Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development
Keyword(s):
2009 ◽
Vol 51
(8)
◽
pp. 1244-1260
◽
Keyword(s):