Define full spectroscopy game - Githubissues

equivio / silent-step-spectroscopy

Isabelle formalization of linear-time–branching-time spectroscopy accounting for silent steps

https://equivio.github.io/silent-step-spectroscopy/AFP/LinearTimeBranchingTimeSpectroscopyAccountingForSilentSteps/index.html

Other

0 stars 0 forks source link

Define full spectroscopy game #9

Closed crmrtz closed 11 months ago

crmrtz commented 1 year ago

[x] Define spectroscopy game positions and spectroscopy game moves for an LTS.
[x] Define a spectroscopy energy game locale