Pages that link to "Item:Q1791194"
From MaRDI portal
The following pages link to Towards formal foundations for game theory (Q1791194):
Displaying 5 items.
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- Formalizing opponent modeling with the rock, paper, scissors game (Q2669107) (← links)
- Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence (Q3457723) (← links)
- A domain-specific language for experimental game theory (Q3648353) (← links)
- (Q5094121) (← links)