Name
Abstract | ||
|---|---|---|
Due to the nice balance between the expressive power and the computational cost of associated algorithms, propositional temporal logic (PTL) has recently been used with great success as a specification language for robot motion planning, which is the problem of finding a collision-free route from an initial to a final configuration in a given environment. Elaborated specifications involving temporal ordering such as sequencing or coverage can be succinctly expressed by PTL formulae. The generation of plans satisfying PTL formulae are then reduced to the model checking problem, which concerns the satisfaction of PTL formulae with respect to a given model (in this case the environment). However, in case there is not a plan satisfying the given specification in the current environment, one may also be interested in finding a plan satisfying such specification in some other environment. In the present work, this problem is studied in the context of PTL specifications enriched with past operators. These constructs are used to express backward navigation in the environment. Other interesting reasoning problems such as the equivalence or subsumption of specifications are also studied. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/CONIELECOMP.2014.6808592 | Electronics, Communications and Computers |
Keywords | Field | DocType |
collision avoidance,inference mechanisms,mobile robots,temporal logic,PTL formulae,PTL specifications,collision-free route,propositional temporal logic,reasoning,robot motion planning,specification language,temporal ordering,temporal specifications | Specification language,Motion planning,Programming language,Model checking,Computer science,Linear temporal logic,Control engineering,Equivalence (measure theory),Operator (computer programming),Artificial intelligence,Temporal logic,Mobile robot | Conference |
ISSN | Citations | PageRank |
2474-9036 | 0 | 0.34 |
References | Authors | |
11 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Everardo Bárcenas | 1 | 23 | 9.15 |
| Antonio Benitez | 2 | 19 | 8.24 |
| Jorge De La Calleja | 3 | 18 | 10.49 |
| María Auxilio Medina Nieto | 4 | 10 | 4.03 |
| Jorge Martínez | 5 | 95 | 17.02 |
| de la Calleja, J. | 6 | 0 | 0.34 |
| Auxilio Medina, M. | 7 | 0 | 0.34 |