Runtime Monitoring of Temporal Logic Properties in a Platform Game. - Simon Varvaressos; Dominic Vaillancourt; Sébastien Gaboury; Alexandre Blondin Massé; Sylvain Hallé (RV, 2013)