Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics - Computer Science > Logic in Computer ScienceReport as inadecuate




Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

Abstract: This article surveys some of the recent work in verification of temporalepistemic logic via symbolic model checking, focusing on OBDD-based andSAT-based approaches for epistemic logics built on discrete and real-timebranching time temporal logics.



Author: Alessio Lomuscio, Wojciech Penczek

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents