Runtime Verification meets Controller Synthesis. Azzopardi, S., Piterman, N., & Schneider, G. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2022. ![Runtime Verification meets Controller Synthesis [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex 3 downloads @inproceedings{isola-2,
title={Runtime Verification meets Controller Synthesis},
author={Azzopardi, Shaun and Piterman, Nir, and Schneider, Gerardo},
year="2022",
booktitle="International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)",
url="https://gupea.ub.gu.se/bitstream/handle/2077/74142/319773.pdf?sequence=1&isAllowed=y"
}
Downloads: 3
{"_id":"s6vA73a4PRkxpsy8z","bibbaseid":"azzopardi-piterman-schneider-runtimeverificationmeetscontrollersynthesis-2022","author_short":["Azzopardi, S.","Piterman, N.","Schneider, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Runtime Verification meets Controller Synthesis","author":[{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[""]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]}],"year":"2022","booktitle":"International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","url":"https://gupea.ub.gu.se/bitstream/handle/2077/74142/319773.pdf?sequence=1&isAllowed=y","bibtex":"@inproceedings{isola-2,\ntitle={Runtime Verification meets Controller Synthesis}, \nauthor={Azzopardi, Shaun and Piterman, Nir, and Schneider, Gerardo},\nyear=\"2022\",\nbooktitle=\"International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)\",\nurl=\"https://gupea.ub.gu.se/bitstream/handle/2077/74142/319773.pdf?sequence=1&isAllowed=y\"\n}\n\n","author_short":["Azzopardi, S.","Piterman, N.","Schneider, G."],"key":"isola-2","id":"isola-2","bibbaseid":"azzopardi-piterman-schneider-runtimeverificationmeetscontrollersynthesis-2022","role":"author","urls":{"Paper":"https://gupea.ub.gu.se/bitstream/handle/2077/74142/319773.pdf?sequence=1&isAllowed=y"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["ec7btnN2RJ3DQyXEw","mtLriRvYqkiErXwmg","dBCbAowrXBj8Z9xpg"],"keywords":[],"search_terms":["runtime","verification","meets","controller","synthesis","azzopardi","piterman","schneider"],"title":"Runtime Verification meets Controller Synthesis","year":2022,"downloads":3}