BisPy - Python bisimulation library

Attempt to prove semantic preservation (forward simulation) for a simple compiler.

Implementation of the paper Castro et al. "Using bisimulation for policy transfer in MDPs." AAAI-2010

Bisimulation game in java. (Roles (Attacker, Defender))

Android App Game based on Bisimulation

An algo for bisimulation of deterministic MSF.

Collection of algorithms for applying bisimulaton and SMT-based metrics and assessing semantic similarity between trained neural networks. Developed at the University of Camerino as a research project during the course of Compex System Design.

Bisimulation Critic for Reinforcement Learning

A small CLI to get a bisimulation relation between two processes

deciding regex equivalence with automata theory