2019 International Conference on Robotics and Automation (ICRA) 2019
DOI: 10.1109/icra.2019.8794170
|View full text |Cite
|
Sign up to set email alerts
|

Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
27
0
2

Year Published

2020
2020
2023
2023

Publication Types

Select...
4
3
2

Relationship

2
7

Authors

Journals

citations
Cited by 38 publications
(43 citation statements)
references
References 14 publications
0
27
0
2
Order By: Relevance
“…Our work opens the door to the use of LTL f synthesis on practical domains such as robotics, cf. [14]. Our tool is on GitHub [25].…”
Section: Resultsmentioning
confidence: 99%
See 1 more Smart Citation
“…Our work opens the door to the use of LTL f synthesis on practical domains such as robotics, cf. [14]. Our tool is on GitHub [25].…”
Section: Resultsmentioning
confidence: 99%
“…Therefore, as the first set of test formulas for the Gridworld MDP, we considered a natural finite-trace specification where the agent has n goals to accomplish in any order, as well as a "safety" property where it must globally avoid some states. This is typical of e.g., a robotics domain [14]. We use Fn to denote this formula for a given n. For the second set of test formulas, we keep regions to visit and avoid but introduce some ordering and repeat visits.…”
Section: Test Formulasmentioning
confidence: 99%
“…Both (Tabajara and Vardi 2019) and (Camacho et al 2018) benefit from compositional techniques as they both decompose the input formula into conjuncts before construction of the respective automata. Application-specific decomposition has also been shown to lead to an orders-of-magnitude improvement in LTLf synthesis for robotics (He et al 2019).…”
Section: Compositional Techniques In Temporal Synthesismentioning
confidence: 99%
“…While how to translate PDDL into DFA is well-known (De Giacomo and Rubin 2018), how to perform it in a practically efficient and optimized way is open to further investigation. A promising direction for the translation might be borrowing insights from reactive planning (He et al 2019). Instead of having only agent actions with nondeterministic effects, the reactive planning domain has agent actions and environment actions.…”
Section: Experimental Analysismentioning
confidence: 99%