@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}
}

{"_id":"byuuaxEBkC7hxXLAi","bibbaseid":"nilsson-ozay-liu-augmentedfinitetransitionsystemsasabstractionsforcontrolsynthesis-2017","downloads":0,"creationDate":"2018-05-21T20:40:29.357Z","title":"Augmented finite transition systems as abstractions for control synthesis","author_short":["Nilsson, P.","Ozay, N.","Liu, J."],"year":2017,"bibtype":"article","biburl":"https://www.dyncps.org/uploads/8/0/6/8/8068963/references_final2.bib","bibdata":{"bibtype":"article","type":"article","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":[{"firstnames":["Petter"],"propositions":[],"lastnames":["Nilsson"],"suffixes":[]},{"firstnames":["Necmiye"],"propositions":[],"lastnames":["Ozay"],"suffixes":[]},{"firstnames":["Jun"],"propositions":[],"lastnames":["Liu"],"suffixes":[]}],"title":"Augmented finite transition systems as abstractions for control synthesis","journal":"Discrete Event Dynamic Systems","bibtex":"@article{Nilsson2017augmented,\r\n url = {https://doi.org/10.1007/s10626-017-0243-z},\r\n year = {2017},\r\n month = {mar},\r\n publisher = {Springer Nature},\r\n volume = {27},\r\n number = {2},\r\n pages = {301--340},\r\n author = {Petter Nilsson and Necmiye Ozay and Jun Liu},\r\n title = {Augmented finite transition systems as abstractions for control synthesis},\r\n journal = {Discrete Event Dynamic Systems}\r\n}\r\n\r\n","author_short":["Nilsson, P.","Ozay, N.","Liu, J."],"key":"Nilsson2017augmented","id":"Nilsson2017augmented","bibbaseid":"nilsson-ozay-liu-augmentedfinitetransitionsystemsasabstractionsforcontrolsynthesis-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10626-017-0243-z"},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"search_terms":["augmented","finite","transition","systems","abstractions","control","synthesis","nilsson","ozay","liu"],"keywords":[],"authorIDs":[],"dataSources":["duW7N6zCCs7T9NwoJ"]}