Controller synthesis for mode-target games. Balkan, A., Vardi, M., & Tabuada, P. IFAC-PapersOnLine, 48(27):343–350, Elsevier, 2015.
Controller synthesis for mode-target games [link]Paper  bibtex   
@article{balkan2015controller,
  title={Controller synthesis for mode-target games},
  author={Balkan, Ayca and Vardi, Moshe and Tabuada, Paulo},
  journal={IFAC-PapersOnLine},
  volume={48},
  number={27},
  pages={343--350},
  year={2015},
  publisher={Elsevier},
  url = {https://arxiv.org/pdf/1504.07702},
}

Downloads: 0