@article{Ferrando2022,
  doi = {10.1007/s10703-022-00395-7},
  url = {https://doi.org/10.1007/s10703-022-00395-7},
  year = {2022},
  month = aug,
  publisher = {Springer Science and Business Media {LLC}},
  author = {Angelo Ferrando and Rafael C. Cardoso and Marie Farrell and Matt Luckcuck and Fabio Papacchini and Michael Fisher and Viviana Mascardi},
  title = {Bridging the gap between single- and multi-model predictive runtime verification},
  journal = {Formal Methods in System Design}
}

{"_id":"AxZgNkuH55kRpn5fQ","bibbaseid":"ferrando-cardoso-farrell-luckcuck-papacchini-fisher-mascardi-bridgingthegapbetweensingleandmultimodelpredictiveruntimeverification-2022","author_short":["Ferrando, A.","Cardoso, R. C.","Farrell, M.","Luckcuck, M.","Papacchini, F.","Fisher, M.","Mascardi, V."],"bibdata":{"bibtype":"article","type":"article","doi":"10.1007/s10703-022-00395-7","url":"https://doi.org/10.1007/s10703-022-00395-7","year":"2022","month":"August","publisher":"Springer Science and Business Media LLC","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Rafael","C."],"propositions":[],"lastnames":["Cardoso"],"suffixes":[]},{"firstnames":["Marie"],"propositions":[],"lastnames":["Farrell"],"suffixes":[]},{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Papacchini"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"title":"Bridging the gap between single- and multi-model predictive runtime verification","journal":"Formal Methods in System Design","bibtex":"@article{Ferrando2022,\n doi = {10.1007/s10703-022-00395-7},\n url = {https://doi.org/10.1007/s10703-022-00395-7},\n year = {2022},\n month = aug,\n publisher = {Springer Science and Business Media {LLC}},\n author = {Angelo Ferrando and Rafael C. Cardoso and Marie Farrell and Matt Luckcuck and Fabio Papacchini and Michael Fisher and Viviana Mascardi},\n title = {Bridging the gap between single- and multi-model predictive runtime verification},\n journal = {Formal Methods in System Design}\n}\n\n","author_short":["Ferrando, A.","Cardoso, R. C.","Farrell, M.","Luckcuck, M.","Papacchini, F.","Fisher, M.","Mascardi, V."],"key":"Ferrando2022","id":"Ferrando2022","bibbaseid":"ferrando-cardoso-farrell-luckcuck-papacchini-fisher-mascardi-bridgingthegapbetweensingleandmultimodelpredictiveruntimeverification-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10703-022-00395-7"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["AdmcuDNM8GSatWG9Y","iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX"],"keywords":[],"search_terms":["bridging","gap","between","single","multi","model","predictive","runtime","verification","ferrando","cardoso","farrell","luckcuck","papacchini","fisher","mascardi"],"title":"Bridging the gap between single- and multi-model predictive runtime verification","year":2022,"downloads":1}