@article{36,
  author = {Petter Nilsson and Necmiye Ozay and Jun Liu},
  title = {Augmented finite transition systems as abstractions for control synthesis},
  year = {2017},
  journal = {Journal of Discrete Event Dynamic Systems},
  volume = {27},
  chapter = {301},
  pages = {301\textendash340},
  doi = {https://doi.org/10.1007/s10626-017-0243-z},
}