@inproceedings{FerrandoVortex,
  title={RVPLAN: A General Purpose Framework for Replanning using Runtime Verification},
  author={Ferrando, Angelo and Cardoso, Rafael C.},
  booktitle={Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)},
  year={2021},
  note={[<span class="raeng">RAEng</span>, <span class="rain">RAIN</span>, <span class="fs">FAIR-Space</span>]}
}

{"_id":"aofW4JogG55KmmJ6M","bibbaseid":"ferrando-cardoso-rvplanageneralpurposeframeworkforreplanningusingruntimeverification-2021","author_short":["Ferrando, A.","Cardoso, R. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"RVPLAN: A General Purpose Framework for Replanning using Runtime Verification","author":[{"propositions":[],"lastnames":["Ferrando"],"firstnames":["Angelo"],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]}],"booktitle":"Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)","year":"2021","note":"[<span class=\"raeng\">RAEng</span>, <span class=\"rain\">RAIN</span>, <span class=\"fs\">FAIR-Space</span>]","bibtex":"@inproceedings{FerrandoVortex,\n title={RVPLAN: A General Purpose Framework for Replanning using Runtime Verification},\n author={Ferrando, Angelo and Cardoso, Rafael C.},\n booktitle={Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)},\n year={2021},\n note={[<span class=\"raeng\">RAEng</span>, <span class=\"rain\">RAIN</span>, <span class=\"fs\">FAIR-Space</span>]}\n}\n\n","author_short":["Ferrando, A.","Cardoso, R. C."],"key":"FerrandoVortex","id":"FerrandoVortex","bibbaseid":"ferrando-cardoso-rvplanageneralpurposeframeworkforreplanningusingruntimeverification-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["AdmcuDNM8GSatWG9Y","iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX","jkPac6coMCnfPS9v6","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["rvplan","general","purpose","framework","replanning","using","runtime","verification","ferrando","cardoso"],"title":"RVPLAN: A General Purpose Framework for Replanning using Runtime Verification","year":2021}