@inproceedings{lukina2018resilient,
  title={Resilient control and safety for cyber-physical systems},
  author={Lukina, Anna and Tiwari, Ashish and Smolka, Scott A and Esterle, Lukas and Yang, Junxing and Grosu, Radu},
  booktitle={2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)},
  pages={16--17},
  year={2018},
  organization={IEEE},
  url_doi={https://doi.org/10.24963/ijcai.2017/753}
}

{"_id":"tcBFMFigRRuyFSKzJ","bibbaseid":"lukina-tiwari-smolka-esterle-yang-grosu-resilientcontrolandsafetyforcyberphysicalsystems-2018","author_short":["Lukina, A.","Tiwari, A.","Smolka, S. A","Esterle, L.","Yang, J.","Grosu, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Resilient control and safety for cyber-physical systems","author":[{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Tiwari"],"firstnames":["Ashish"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Scott","A"],"suffixes":[]},{"propositions":[],"lastnames":["Esterle"],"firstnames":["Lukas"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Junxing"],"suffixes":[]},{"propositions":[],"lastnames":["Grosu"],"firstnames":["Radu"],"suffixes":[]}],"booktitle":"2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)","pages":"16–17","year":"2018","organization":"IEEE","url_doi":"https://doi.org/10.24963/ijcai.2017/753","bibtex":"@inproceedings{lukina2018resilient,\n title={Resilient control and safety for cyber-physical systems},\n author={Lukina, Anna and Tiwari, Ashish and Smolka, Scott A and Esterle, Lukas and Yang, Junxing and Grosu, Radu},\n booktitle={2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)},\n pages={16--17},\n year={2018},\n organization={IEEE},\n url_doi={https://doi.org/10.24963/ijcai.2017/753}\n}\n\n","author_short":["Lukina, A.","Tiwari, A.","Smolka, S. A","Esterle, L.","Yang, J.","Grosu, R."],"key":"lukina2018resilient","id":"lukina2018resilient","bibbaseid":"lukina-tiwari-smolka-esterle-yang-grosu-resilientcontrolandsafetyforcyberphysicalsystems-2018","role":"author","urls":{" doi":"https://doi.org/10.24963/ijcai.2017/753"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["resilient","control","safety","cyber","physical","systems","lukina","tiwari","smolka","esterle","yang","grosu"],"title":"Resilient control and safety for cyber-physical systems","year":2018}