On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events.

Luks Chrpa, Erez Karpas

Browse the full KR paper archive.