EPMC Gets Knowledge in Multi-Agent Systems
summary
EPMC is a small Java core plus plugins probabilistic model checker that the authors extend to EPMC-petl to handle probabilistic epistemic temporal logic on multi-agent systems; it reuses PRISM-style models and the GNA C/C++ libraries, supports DTMC/MDP/CTMC/stochastic games and PCTL, and already ships about 50 plugins; the extension implements two concrete model checkers — an exact SMT-based algorithm and a UCT-based approximate algorithm* — and composes via plugin manifests, but modularity costs run-time efficiency and full implementation took on the order of weeks.
AI-written summary · about