BibTeX
CSL-JSON
MLA
Harvard
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics
release_uu2hztr4szhebmsqpj4bijluym
by
Alessio Lomuscio, Wojciech Penczek
Released
as a article
.
2007
Abstract
This 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.
In text/plain
format
Archived Files and Locations
application/pdf 306.0 kB
file_hufzwgji7fd2zedgc2dyqyx2cy
|
archive.org (archive) |
Read Archived PDF
Preserved and Accessible
arXiv
0709.0446v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links