2013 IEEE International Conference on Robotics and Biomimetics (ROBIO) 2013
DOI: 10.1109/robio.2013.6739543
|View full text |Cite
|
Sign up to set email alerts
|

A graphical language for LTL motion and mission planning

Abstract: Abstract-Linear Temporal Logic (LTL) has recently become a popular high-level specification language for robotic applications. One of the main reasons for the adoption of LTL is that LTL control synthesis algorithms are scalable while providing sufficient expressive power for a range of applications. However, despite the recent progress, one challenge remains. How can a non-expert robot user, who is not a logician, provide mission and motion plans for multiple robots in LTL? In this paper, we propose a graphic… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
23
0

Year Published

2014
2014
2023
2023

Publication Types

Select...
6
1

Relationship

3
4

Authors

Journals

citations
Cited by 13 publications
(23 citation statements)
references
References 36 publications
0
23
0
Order By: Relevance
“…There are only few works about graphically specifying temporal logic formulas (see [5,8] and the references therein) or translating English language to temporal logic formulas (see [9,10,11] and the references therein).…”
Section: ( ⋀ ( ⋀ ( )))mentioning
confidence: 99%
See 3 more Smart Citations
“…There are only few works about graphically specifying temporal logic formulas (see [5,8] and the references therein) or translating English language to temporal logic formulas (see [9,10,11] and the references therein).…”
Section: ( ⋀ ( ⋀ ( )))mentioning
confidence: 99%
“…Fortunately, there is existing work which graphically visualizes the LTL specification [5]. By defining nodes and edges as atomic propositions and temporal operators, LTL specification can be transferred from a formula into a graph.…”
Section: ( ⋀ ( ⋀ ( )))mentioning
confidence: 99%
See 2 more Smart Citations
“…As an example, in [49] a web based interface to help elders to define robot missions in an easy and intuitive way is introduced. In [157] a graphical language for mission planning is designed, while in [101] a software tool for robot mission design is developed.…”
Section: Robot Mission and Behaviorsmentioning
confidence: 99%