RVPLAN: a general purpose framework for replanning using runtime verification.

Angelo Ferrando Rafael C. Cardoso

Published in: VORTEX@ISSTA (2021)

Keyphrases

general purpose
real time
domain specific
theoretical framework
special purpose
framework enables
social networks
main contribution
neural network
machine learning
information retrieval
computer vision
knowledge base
heuristic search
key features
agent architecture