External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Runtime Monitoring of Temporal Logic Properties in a Platform Game

Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé. Runtime Monitoring of Temporal Logic Properties in a Platform Game. In Axel Legay, Saddek Bensalem, editors, Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Volume 8174 of Lecture Notes in Computer Science, pages 346-351, Springer, 2013. [doi]

Authors

Simon Varvaressos

This author has not been identified. Look up 'Simon Varvaressos' in Google

Dominic Vaillancourt

This author has not been identified. Look up 'Dominic Vaillancourt' in Google

Sébastien Gaboury

This author has not been identified. Look up 'Sébastien Gaboury' in Google

Alexandre Blondin Massé

This author has not been identified. Look up 'Alexandre Blondin Massé' in Google

Sylvain Hallé

This author has not been identified. It may be one of the following persons: Look up 'Sylvain Hallé' in Google
runs on