Runtime Monitoring of Temporal Logic Properties in a Platform Game.

Simon Varvaressos, Dominic Vaillancourt, Sbastien Gaboury, Alexandre Blondin Mass, Sylvain Hall

Browse the full RV paper archive.