bisimulation

There are 9 repositories under bisimulation topic.

fandreuz/BisPy
BisPy - Python bisimulation library
Language:Python14 4 205
thamugadi/semantic-preservation
Work in progress. Attempt to prove semantic preservation (forward simulation) for a simple compiler.
Language:Coq9 1 00
madan96/bisimulation-transfer
Implementation of the paper Castro et al. "Using bisimulation for policy transfer in MDPs." AAAI-2010
Language:Python5 2 00
CYuan88/BisimulationGame
Bisimulation game in java. (Roles (Attacker, Defender))
Language:Java1 1 10
tean-lai/regex-decider
deciding regex equivalence with automata theory
Language:OCaml1 1 0
GiacomoFerro/bisimulation-checker
An algo for bisimulation of deterministic MSF.
Language:Python0 1 00
TiaLanzi/Bisimulazione
Android App Game based on Bisimulation
Language:Java0 1 20
kris701/BisimulationRelationObtainer
A small CLI to get a bisimulation relation between two processes
Language:C#1 0
rytse/bc4rl
Bisimulation Critic for Reinforcement Learning
Language:Python3 0