Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners

@inproceedings{Patrizi2013FairLS,
  title={Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners},
  author={Fabio Patrizi and Nir Lipovetzky and Hector Geffner},
  booktitle={IJCAI},
  year={2013}
}
We consider the problem of planning in environments where the state is fully observable, actions have non-deterministic effects, and plans must generate infinite state trajectories for achieving a large class of LTL goals. More formally, we focus on the control synthesis problem under the assumption that the LTL formula to be realized can be mapped into a deterministic Büchi automaton. We show that by assuming that action non-determinism is fair, namely that infinite executions of a… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis

R ODRÍGUEZ, S ARDINA
2018
View 5 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-10 of 40 references

of CAV

Amir Pnueli, Elad Shahar. A platform for combining deductive with al Proc
pages 184–195, • 1996
View 7 Excerpts
Highly Influenced

and Yaniv Sa’ar

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli
Synthesis of reactive(1) designs. J. Comput. Syst. Sci., 78(3):911–938, • 2012
View 7 Excerpts
Highly Influenced

Reasoning About Infinite Computations

Inf. Comput. • 1994
View 12 Excerpts
Highly Influenced

strong

Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso. Weak
and strong cyclic planning via symbolic model checking. Artif. Intell., 147(1-2):35–84, • 2003
View 2 Excerpts
Highly Influenced

In ECP

Marco Daniele, Paolo Traverso, Moshe Y. Vardi. Strong Cyclic Planning Revisited
pages 35–48, • 1999
View 1 Excerpt
Highly Influenced

An Automata-Theoretic Approach to Linear Temporal Logic

Banff Higher Order Workshop • 1995
View 3 Excerpts
Highly Influenced

In Proc

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck. Improved non-deterministic plann relevance
of ICAPS, • 2012
View 3 Excerpts

Similar Papers

Loading similar papers…