Category

Epistemic Logic

Members /
: CharlesPecheur
: GuillaumeMaudoux
News /
: PaperAcceptedAtIWIGP2012
Publications /
: ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability
: AutomaticVerificationOfKnowledgeAndTimeWithNuSMV
: RichCounter-ExamplesForTemporal-EpistemicLogicModelChecking
: SymbolicModelCheckingOfLogicsWithActions
Talks /
: FMICS2007
: IWIGP2012
: MOCHART2006
: PARC2009
Tools /
: PyNuSMV

Find It