Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics

Simple item page
dc.creatorLomuscio, Alessio
dc.creatorPenczek, Wojciech
dc.date2007-09-04
dc.date.accessioned2026-07-07T08:27:31Z
dc.date.available2026-07-07T08:27:31Z
dc.descriptionThis article surveys some of the recent work in verification of temporal epistemic logic via symbolic model checking, focusing on OBDD-based and SAT-based approaches for epistemic logics built on discrete and real-time branching time temporal logics.
dc.description23 pages
dc.identifierhttps://arxiv.org/abs/0709.0446
dc.identifierhttp://arxiv.org/abs/0709.0446
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/137296
dc.subjectLogic in Computer Science
dc.titleLogic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics
dc.typetext

Files

Collections

arXiv