linear temporal logic
|
Publications for keyword "linear temporal logic"
2011
The tractability of model checking for LTL: The good, the bad, and the ugly fragments (2011), in: ACM Transactions on Computational Logic, 12:2(13:1--13:28) | , , , , and ,
2010
Receding horizon control for temporal logic specifications, in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, Stockholm, Sweden, pages 101--110, ACM, 2010 | , and ,