kripke-structure topic
List
kripke-structure repositories
mlsolver
53
Stars
11
Forks
Watchers
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
