Accepted paper at RV 2013


06/28/2013 by Sylvain Hallé

A paper titled Runtime Monitoring of Temporal Logic Properties in a Platform Game was accepted at the 4th International Conference on Runtime Verification (RV 2013), which will take place in INRIA Rennes next September. The paper, co-authored with students Simon Varvaressos, Dominic Vaillancourt, and with LIF colleagues Alexandre Blondin Massé and Sébastien Gaboury, describes a technique to discover video game bugs using runtime verification.

comments powered by Disqus