ML Anthology

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

Fabio Patrizi, Nir Lipovetzky, Hector Geffner
IJCAI 2013 pp. 2343-2349
/ijcai/2013/patrizi2013ijcai-fair/
IJCAI Semantic Scholar

Cite

Text

Patrizi et al. "Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Patrizi et al. "Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/patrizi2013ijcai-fair/)

BibTeX

@inproceedings{patrizi2013ijcai-fair,
  title     = {{Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners}},
  author    = {Patrizi, Fabio and Lipovetzky, Nir and Geffner, Hector},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {2343-2349},
  url       = {https://mlanthology.org/ijcai/2013/patrizi2013ijcai-fair/}
}