Controller Synthesis via Non-Deterministic Planning. Camacho, A., Baier, J. A., Muise, C. J., & McIlraith, S. A. In Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence (CCAI), 2018. To appear
bibtex   
@InProceedings{cam-bai-mui-mci-ccai18,
  Title                    = {Controller Synthesis via Non-Deterministic Planning},
  Author                   = {Alberto Camacho and
 Jorge A. Baier and
 Christian J. Muise and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence
({CCAI})},
  Year                     = {2018},
  Note                     = {To appear},

  Timestamp                = {2018.09.23}
}

Downloads: 0