EPMC Gets Knowledge in Multi-agent Systems
- 14 January 2022
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 36 references indexed in Scilit:
- CacBDD: A BDD Package with Dynamic Cache ManagementPublished by Springer Science and Business Media LLC ,2013
- Verification of Epistemic Properties in Probabilistic Multi-Agent SystemsLecture Notes in Computer Science, 2009
- Tighter Bounds for the Determinisation of Büchi AutomataLecture Notes in Computer Science, 2009
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity AutomataLogical Methods in Computer Science, 2007
- Model Checking Temporal Logics of Knowledge Via OBDDs1The Computer Journal, 2007
- An Algorithm for Strongly Connected Component Analysis in n log n Symbolic StepsFormal Methods in System Design, 2006
- MCK: Model Checking the Logic of KnowledgeLecture Notes in Computer Science, 2004
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingLecture Notes in Computer Science, 2002
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972