Definitions of winning budgets (11)

equivio / silent-step-spectroscopy

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

Other

0 stars 0 forks source link

Closed Vervada closed 1 year ago

Vervada commented 1 year ago

Prop 2

Vervada commented 1 year ago

Definition of Winning Strategy

Definition of Positions

it might be useful to change the definition of game positions (define them by moves)

Vervada commented 1 year ago

No definition of the strategy is currently planned.