Talks

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

Title: Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Speaker(s): Simon Busard
Context: Second International Workshop on Interactions, Games and Protocols, 24 March - 1 April 2012, Tallinn, Estonia
File(s): iwigp2012.pdf

Related Publication(s):

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard, Charles Pecheur. Proceedings Second International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 25th March 2012.

Tags

Tags: Counterexamples, Epistemic Logic, Tool TLACE

Find It