@inproceedings{kalajdzic2016feedback,
  title={Feedback control for statistical model checking of cyber-physical systems},
  author={Kalajdzic, Kenan and J{\'e}gourel, Cyrille and Lukina, Anna and Bartocci, Ezio and Legay, Axel and Smolka, Scott A and Grosu, Radu},
  booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I 7},
  pages={46--61},
  year={2016},
  organization={Springer International Publishing},
  url_doi={http://link.springer.com/chapter/10.1007/978-3-319-47166-2_4}
}

{"_id":"LuZZHorSdoqGGcLFu","bibbaseid":"kalajdzic-jgourel-lukina-bartocci-legay-smolka-grosu-feedbackcontrolforstatisticalmodelcheckingofcyberphysicalsystems-2016","author_short":["Kalajdzic, K.","Jégourel, C.","Lukina, A.","Bartocci, E.","Legay, A.","Smolka, S. A","Grosu, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Feedback control for statistical model checking of cyber-physical systems","author":[{"propositions":[],"lastnames":["Kalajdzic"],"firstnames":["Kenan"],"suffixes":[]},{"propositions":[],"lastnames":["Jégourel"],"firstnames":["Cyrille"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Bartocci"],"firstnames":["Ezio"],"suffixes":[]},{"propositions":[],"lastnames":["Legay"],"firstnames":["Axel"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Scott","A"],"suffixes":[]},{"propositions":[],"lastnames":["Grosu"],"firstnames":["Radu"],"suffixes":[]}],"booktitle":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I 7","pages":"46–61","year":"2016","organization":"Springer International Publishing","url_doi":"http://link.springer.com/chapter/10.1007/978-3-319-47166-2_4","bibtex":"@inproceedings{kalajdzic2016feedback,\n title={Feedback control for statistical model checking of cyber-physical systems},\n author={Kalajdzic, Kenan and J{\\'e}gourel, Cyrille and Lukina, Anna and Bartocci, Ezio and Legay, Axel and Smolka, Scott A and Grosu, Radu},\n booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I 7},\n pages={46--61},\n year={2016},\n organization={Springer International Publishing},\n url_doi={http://link.springer.com/chapter/10.1007/978-3-319-47166-2_4}\n}\n\n","author_short":["Kalajdzic, K.","Jégourel, C.","Lukina, A.","Bartocci, E.","Legay, A.","Smolka, S. A","Grosu, R."],"key":"kalajdzic2016feedback","id":"kalajdzic2016feedback","bibbaseid":"kalajdzic-jgourel-lukina-bartocci-legay-smolka-grosu-feedbackcontrolforstatisticalmodelcheckingofcyberphysicalsystems-2016","role":"author","urls":{" doi":"http://link.springer.com/chapter/10.1007/978-3-319-47166-2_4"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["feedback","control","statistical","model","checking","cyber","physical","systems","kalajdzic","jégourel","lukina","bartocci","legay","smolka","grosu"],"title":"Feedback control for statistical model checking of cyber-physical systems","year":2016}