RVPLAN: Runtime Verification of Assumptions in Automated Planning.

Angelo Ferrando, Rafael C. Cardoso

Browse the full ICAART paper archive.