Antoine Cailliau and Axel van Lamsweerde (picture) were granted the Best Paper Award for their paper “Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals”, Proceedings SEAMS'2017: 12th International IEEE-ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems (Buenos Aires, 22-23 May 2017).