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
Type  article
Stage   submitted
Date   2007-09-04
Version   v1
Language   en ?
arXiv  0709.0446v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ddf1ae3b-a35e-449e-abba-112fc62bd637
API URL: JSON