Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.

Antoine Cailliau, Axel van Lamsweerde

Browse the full ICSE paper archive.