kripke-structure

There are 1 repository under kripke-structure topic.

erohkohl / mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
artificial-intelligence multi-agent-systems kripke-structure modal-logic knowledge-based-systems multi-modal-logic tableau-calculus
Language:Python 53
NotBad4U / mcltl-rs
[beta] An experimental model checker for LTL written in Rust
temporal-logic model-checking model-checker ltl ltl-formulas buchi-automaton kripke-structure
Language:Rust 5
vittau / kripfy
A Kripke structure modelling framework
logic modal-logic epistemic-logic kripke-structure
Language:TypeScript 5
Guigui14460 / multi-agents-knowledge-based-programs-interpreter
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
dynamic-epistemic-logic epistemic-logic interpreter knowledge-based-program knowledge-based-reasoning kripke-structure logic-raisonning modal-logic multi-agents symbolic-ai university-of-caen
Language:Java 3
jbretsch / modelcheck
A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.
model-checking ctl java kripke-structure ctl-formulae ctl-formulas satisfies-proposition satisfies
Language:Java 3
LogiVis
danielbinder / LogiVis
A teaching aid for concepts and algorithms in logic
automata boolean-algebra boolean-logic bounded-model-checking ctl kripke-structure logic logic-programming temporal-logic finite-automata finite-automaton finite-state-machine deterministic sat-solver simulation-finite-automaton
Language:Java 2
yepengding / Kiwami
A generic bounded model checker.
bounded-model-checking ctl kripke-structure ltl minimization model-checking modeling-language formal-methods
Language:Java 2
eldondanonino / Formal-Modeling-Mini-Project
Formal Modeling project M2
ctl-formulas kripke-structure formal-models
Language:JavaScript 0