Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

TitleRich Counter-Examples for Temporal-Epistemic Logic Model Checking
Publication TypeConference Paper
Year of Publication2012
AuthorsBusard, S, Pecheur C
EditorReich, J, Finkbeiner B
Conference NameProceedings Second International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 25th March 2012
PublisherOpen Publishing Association
URLhttp://lvl.info.ucl.ac.be/Publications/RichCounter-ExamplesForTemporal-EpistemicLogicModelChecking