@article{DBLP:journals/csysl/HausmannJP23,
  author       = {Daniel Hausmann and
                  Prabhat Kumar Jha and
                  Nir Piterman},
  title        = {Games for Efficient Supervisor Synthesis},
  journal      = {{IEEE} Control. Syst. Lett.},
  volume       = {7},
  pages        = {2881--2885},
  year         = {2023},
  url          = {https://doi.org/10.1109/LCSYS.2023.3290727},
  doi          = {10.1109/LCSYS.2023.3290727},
  timestamp    = {Sat, 05 Aug 2023 00:02:02 +0200},
  biburl       = {https://dblp.org/rec/journals/csysl/HausmannJP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2emktYPmoskJGJACm","bibbaseid":"hausmann-jha-piterman-gamesforefficientsupervisorsynthesis-2023","author_short":["Hausmann, D.","Jha, P. K.","Piterman, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Hausmann"],"suffixes":[]},{"firstnames":["Prabhat","Kumar"],"propositions":[],"lastnames":["Jha"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]}],"title":"Games for Efficient Supervisor Synthesis","journal":"IEEE Control. Syst. Lett.","volume":"7","pages":"2881–2885","year":"2023","url":"https://doi.org/10.1109/LCSYS.2023.3290727","doi":"10.1109/LCSYS.2023.3290727","timestamp":"Sat, 05 Aug 2023 00:02:02 +0200","biburl":"https://dblp.org/rec/journals/csysl/HausmannJP23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/csysl/HausmannJP23,\n author = {Daniel Hausmann and\n Prabhat Kumar Jha and\n Nir Piterman},\n title = {Games for Efficient Supervisor Synthesis},\n journal = {{IEEE} Control. Syst. Lett.},\n volume = {7},\n pages = {2881--2885},\n year = {2023},\n url = {https://doi.org/10.1109/LCSYS.2023.3290727},\n doi = {10.1109/LCSYS.2023.3290727},\n timestamp = {Sat, 05 Aug 2023 00:02:02 +0200},\n biburl = {https://dblp.org/rec/journals/csysl/HausmannJP23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hausmann, D.","Jha, P. K.","Piterman, N."],"key":"DBLP:journals/csysl/HausmannJP23","id":"DBLP:journals/csysl/HausmannJP23","bibbaseid":"hausmann-jha-piterman-gamesforefficientsupervisorsynthesis-2023","role":"author","urls":{"Paper":"https://doi.org/10.1109/LCSYS.2023.3290727"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["games","efficient","supervisor","synthesis","hausmann","jha","piterman"],"title":"Games for Efficient Supervisor Synthesis","year":2023,"downloads":1}