Augmented finite transition systems as abstractions for control synthesis. Nilsson, P., Ozay, N., & Liu, J. Discrete Event Dynamic Systems, 27(2):301–340, Springer Nature, mar, 2017.
Augmented finite transition systems as abstractions for control synthesis [link]Paper  bibtex   
@article{Nilsson2017augmented,
  url = {https://doi.org/10.1007/s10626-017-0243-z},
  year  = {2017},
  month = {mar},
  publisher = {Springer Nature},
  volume = {27},
  number = {2},
  pages = {301--340},
  author = {Petter Nilsson and Necmiye Ozay and Jun Liu},
  title = {Augmented finite transition systems as abstractions for control synthesis},
  journal = {Discrete Event Dynamic Systems}
}
Downloads: 0