Talks

Symbolic Model Checking of Logics with Actions

Title: Symbolic Model Checking of Logics with Actions
Speaker(s): Charles Pecheur
Context: MOCHART Workshop, Riva del Garda, Italy, Aug 29, 2006
File(s): pecheur-mochart2006-slides

Related Publication(s):

Symbolic Model Checking of Logics with Actions. Charles Pecheur, Franco Raimondi. Workshop on Model Checking and Artificial Intelligence (MOCHART), Riva del Garda, Italy, 29 Aug 2006.

Tags

Tags: Symbolic Model Checking, Actions, Temporal Logic, Epistemic Logic

Find It