Article accepté à RV 2013

English

2013-06-28 par Sylvain Hallé

L'article intitulé Runtime Monitoring of Temporal Logic Properties in a Platform Game vient d'être accepté à la 4th International Conference on Runtime Verification (RV 2013), qui se tiendra à l'INRIA de Rennes en septembre prochain. L'article, co-écrit avec les étudiants Simon Varvaressos et Dominic Vaillancourt, ainsi qu'avec mes collègues du LIF Alexandre Blondin Massé et Sébatien Gaboury, décrit une manière de découvrir des bugs dans les jeux vidéo en utilisant la technique appelée "runtime monitoring".

comments powered by Disqus

Navigation