GitHub topics: bisimulation
thamugadi/semantic-preservation
Attempt to prove semantic preservation (forward simulation) for a simple compiler.
Language: Coq - Size: 106 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 0
tean-lai/regex-decider
deciding regex equivalence with automata theory
Language: OCaml - Size: 43 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
rytse/bc4rl
Bisimulation Critic for Reinforcement Learning
Language: Python - Size: 137 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
fandreuz/BisPy
BisPy - Python bisimulation library
Language: Python - Size: 3.51 MB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 5
TiaLanzi/Bisimulazione
Android App Game based on Bisimulation
Language: Java - Size: 7.44 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
GiacomoFerro/bisimulation-checker
An algo for bisimulation of deterministic MSF.
Language: Python - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
kris701/BisimulationRelationObtainer
A small CLI to get a bisimulation relation between two processes
Language: C# - Size: 107 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
madan96/bisimulation-transfer
Implementation of the paper Castro et al. "Using bisimulation for policy transfer in MDPs." AAAI-2010
Language: Python - Size: 936 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 0
CYuan88/BisimulationGame
Bisimulation game in java. (Roles (Attacker, Defender))
Language: Java - Size: 22.5 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
