Angelo Ferrando, Rafael C. Cardoso. RVPLAN: a general purpose framework for replanning using runtime verification. In Wolfgang Ahrendt, Davide Ancona, Adrian Francalanza, editors, VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021. pages 22-25, ACM, 2021. [doi]
@inproceedings{FerrandoC21,
title = {RVPLAN: a general purpose framework for replanning using runtime verification},
author = {Angelo Ferrando and Rafael C. Cardoso},
year = {2021},
doi = {10.1145/3464974.3468447},
url = {https://doi.org/10.1145/3464974.3468447},
researchr = {https://researchr.org/publication/FerrandoC21},
cites = {0},
citedby = {0},
pages = {22-25},
booktitle = {VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021},
editor = {Wolfgang Ahrendt and Davide Ancona and Adrian Francalanza},
publisher = {ACM},
isbn = {978-1-4503-8546-6},
}