Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics - Computer Science > Logic in Computer ScienceReportar como inadecuado




Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Alessio Lomuscio, Wojciech Penczek

Fuente: https://arxiv.org/







Documentos relacionados