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

Angelo Ferrando, Rafael C. Cardoso

Browse the full ISSTA paper archive.