Visibility-based Planners for Mobile Robots Capable to Handle Path Existence Queries in Temporal Logic
Over the past few years, sampling based planner algorithms have been applied to planning queries formulated in path existence temporal logic, a formal system that allows more complex specifications on a solution path and is useful for task planning for mobile robots or synthesizing controllers fo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Stefan cel Mare University of Suceava
2014-02-01
|
| Series: | Advances in Electrical and Computer Engineering |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.4316/AECE.2014.01009 |