Computational complexity
Publications for keyword "Computational complexity"
2011
| , , , , and , 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) |
2009
| , and , Receding horizon temporal logic planning for dynamical systems, in: Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, pages 5997 -6004, 2009 |
1999
| , and , RANSAC-based DARCES: a new approach to fast automatic registration of partially overlapping range images (1999), in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 21:11(1229 -1234) |
[DOI] |