Amanote Research
Register
Sign In
Temporal Logic Motion Planning for Mobile Robots
doi 10.1109/robot.2005.1570410
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
G.E. Fainekos
H. Kress-Gazit
G.J. Pappas
Publisher
IEEE
Related search
Motion Planning for Multiple Mobile Robots Using Time-Scaling
Knowledge-Oriented Task and Motion Planning for Multiple Mobile Robots
Journal of Experimental and Theoretical Artificial Intelligence
Theoretical Computer Science
Artificial Intelligence
Software
Probabilistic Temporal Logic for Motion Planning With Resource Threshold Constraints
Motion Planning for Mobile Robots via Sampling-Based Model Predictive Optimization
A Distributed and Optimal Motion Planning Approach for Multiple Mobile Robots
Decentralized Motion Planning for Multiple Mobile Robots: The Cocktail Party Model
Motion Planning for Multiple Robots
Discrete and Computational Geometry
Combinatorics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
Motion Planning Based on Local Sensor Information for Two Mobile Robots Amidst Unknown Environments.
Journal of the Robotics Society of Japan
Proof Planning for First-Order Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
