"Upwardclosedness" of winning budgets - 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

"Upwardclosedness" of winning budgets #32

Closed crmrtz closed 11 months ago

crmrtz commented 12 months ago

[x] Merge #19 (energies) and #21 (instanciation)
[ ] Prove that attacker wins with more energy too (closedness)