bisimulation

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

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

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

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.

Android App Game based on Bisimulation

deciding regex equivalence with automata theory

Lean formal core for replay-obstruction, prefix-depth, and observation-preserving bisimulation results.

Reconstruction-free DreamerV3: bisimulation objectives for categorical latents, robust to visual distractors (master's thesis, HSE)

A small CLI to get a bisimulation relation between two processes

An algo for bisimulation of deterministic MSF.

Colored Petri Nets to mCRL2: the translation from my MSc thesis, proved correct in Lean 4, with three implementations checked against the SNAKES Python library.

An equivalence checker for P4 packet parsers, implemented in Python.

Code and data for No Free Swap: Protocol-Dependent Layer Redundancy in Transformers (arXiv:2605.16234)

Bisimulation Critic for Reinforcement Learning

Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.