Agent Skills: bisimulation-oracle <<<<<<< HEAD

> Formal oracle for behavioral equivalence via bisimulation games. Triggers: behavioral equivalence check, bisimulation game, are two systems equivalent, did a skill update preserve behavior, attacker-defender game, partition refinement, distinguishing trace. >>>>>>> origin/main

UncategorizedID: plurigrid/asi/bisimulation-oracle <<<<<<< HEAD

Author

plurigrid

https://github.com/plurigrid View all skills

Repository

plurigrid/asi

plurigridLicense: MIT

6712

Install this agent skill to your local

pnpm dlx add-skill https://github.com/plurigrid/asi/bisimulation-oracle <<<<<<< HEAD

Skill Files

Browse the full folder contents for bisimulation-oracle <<<<<<< HEAD.

Download Skill

Loading file tree…

Select a file to preview its contents.