Publications of Calin Belta sorted by recency
Optimal path planning under temporal logic constraints, in: Proceeding of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3288--3293, 2010 | , , and ,
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees (2011), in: IEEE Transactions on Robotics, PP:99(1 -14) | , and ,
LTL planning for groups of robots, in: Proceedings of the IEEE International Conference on Networking, Sensing and Control (ICNSC), pages 578--583, 2006 | and ,
Automatic deployment of distributed teams of robots from temporal logic motion specifications (2010), in: IEEE Transactions on Robotics, 26:1(48--61) | and ,