Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699940
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:55 PM
Last modification on : Friday, January 4, 2019 - 5:32:57 PM

Identifiers

  • HAL Id : hal-01699940, version 1

Collections

Citation

Rodica Bozianu, Catalin Dima, Constantin Enea. Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown Region. ⟨hal-01699940⟩

Share

Metrics

Record views

55