@article{DBLP:journals/deds/DeCastroERBK17,
  author       = {Jonathan A. DeCastro and
                  R{\"{u}}diger Ehlers and
                  Matthias Rungger and
                  Ayca Balkan and
                  Hadas Kress{-}Gazit},
  title        = {Automated generation of dynamics-based runtime certificates for high-level
                  control},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {27},
  number       = {2},
  pages        = {371--405},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10626-016-0232-7},
  doi          = {10.1007/S10626-016-0232-7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/deds/DeCastroERBK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oME3JqMfLhWsPKhQb","bibbaseid":"decastro-ehlers-rungger-balkan-kressgazit-automatedgenerationofdynamicsbasedruntimecertificatesforhighlevelcontrol-2017","author_short":["DeCastro, J. A.","Ehlers, R.","Rungger, M.","Balkan, A.","Kress-Gazit, H."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jonathan","A."],"propositions":[],"lastnames":["DeCastro"],"suffixes":[]},{"firstnames":["Rüdiger"],"propositions":[],"lastnames":["Ehlers"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Rungger"],"suffixes":[]},{"firstnames":["Ayca"],"propositions":[],"lastnames":["Balkan"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]}],"title":"Automated generation of dynamics-based runtime certificates for high-level control","journal":"Discret. Event Dyn. Syst.","volume":"27","number":"2","pages":"371–405","year":"2017","url":"https://doi.org/10.1007/s10626-016-0232-7","doi":"10.1007/S10626-016-0232-7","timestamp":"Tue, 21 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/deds/DeCastroERBK17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/deds/DeCastroERBK17,\n author = {Jonathan A. DeCastro and\n R{\\\"{u}}diger Ehlers and\n Matthias Rungger and\n Ayca Balkan and\n Hadas Kress{-}Gazit},\n title = {Automated generation of dynamics-based runtime certificates for high-level\n control},\n journal = {Discret. Event Dyn. Syst.},\n volume = {27},\n number = {2},\n pages = {371--405},\n year = {2017},\n url = {https://doi.org/10.1007/s10626-016-0232-7},\n doi = {10.1007/S10626-016-0232-7},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/deds/DeCastroERBK17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["DeCastro, J. A.","Ehlers, R.","Rungger, M.","Balkan, A.","Kress-Gazit, H."],"key":"DBLP:journals/deds/DeCastroERBK17","id":"DBLP:journals/deds/DeCastroERBK17","bibbaseid":"decastro-ehlers-rungger-balkan-kressgazit-automatedgenerationofdynamicsbasedruntimecertificatesforhighlevelcontrol-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10626-016-0232-7"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["automated","generation","dynamics","based","runtime","certificates","high","level","control","decastro","ehlers","rungger","balkan","kress-gazit"],"title":"Automated generation of dynamics-based runtime certificates for high-level control","year":2017}