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]
No references recorded for this publication.
No citations of this publication recorded.