Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.

Hannes Kallwies, Martin Leucker, Csar Snchez, Torben Scheffel

Browse the full RV paper archive.