Antoine Cailliau, Axel van Lamsweerde. Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals. In 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017. pages 1-11, IEEE Computer Society, 2017. [doi]
Abstract is missing.