philosophy-ethicslifestyle
bisimulation-oracle
Formal oracle for behavioral equivalence. Given two systems (skills, agents, processes), decides if they are bisimilar — i.e., indistinguishable by any external observer. Implements strong bisimulation, weak bisimulation, and GF(3)-colored bisimulation games. The oracle answers YES/NO, never "probably".
maintainer
plurigrid
Обновлено 3/26/2026
Звёзды
16
Форки
5
quick start
Installation and usage
Formal oracle for behavioral equivalence. Given two systems (skills, agents, processes), decides if they are bisimilar — i.e., indistinguishable by any external observer. Implements strong bisimulation, weak bisimulation, and GF(3)-colored bisimulation games. The oracle answers YES/NO, never "probably".
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use bisimulation-oracle