Media type: E-Article Title: Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata Contributor: Belardinelli, Francesco; Jones, Andrew V.; Lomuscio, Alessio imprint: IOS Press, 2011 Published in: Fundamenta Informaticae Language: Not determined DOI: 10.3233/fi-2011-576 ISSN: 0169-2968 Keywords: Computational Theory and Mathematics ; Information Systems ; Algebra and Number Theory ; Theoretical Computer Science Origination: Footnote: