Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Camacho, A., Baier, J. A., Muise, C. J., & McIlraith, S. A. In Advances in Artificial Intelligence - 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8-11, 2018, Proceedings, pages 45–59, 2018.
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning [link]Paper  doi  bibtex   5 downloads  
@InProceedings{	  dblp:conf/ai/camachobmm18,
  author	= {Alberto Camacho and Jorge A. Baier and Christian J. Muise
		  and Sheila A. McIlraith},
  title		= {Synthesizing Controllers: On the Correspondence Between
		  {LTL} Synthesis and Non-deterministic Planning},
  booktitle	= {Advances in Artificial Intelligence - 31st Canadian
		  Conference on Artificial Intelligence, Canadian {AI} 2018,
		  Toronto, ON, Canada, May 8-11, 2018, Proceedings},
  pages		= {45--59},
  year		= {2018},
  crossref	= {DBLP:conf/ai/2018},
  url		= {https://doi.org/10.1007/978-3-319-89656-4\_4},
  doi		= {10.1007/978-3-319-89656-4\_4},
  timestamp	= {Mon, 23 Apr 2018 18:08:42 +0200},
  biburl	= {https://dblp.org/rec/bib/conf/ai/CamachoBMM18},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

Downloads: 5