The following pages link to Steen Vester (Q528189):
Displaying 9 items.
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Improving multi-agent systems using \textit{Jason} (Q766280) (← links)
- Distributed Synthesis in Continuous Time (Q2811352) (← links)
- Symmetry Reduction in Infinite Games with Finite Branching (Q3457804) (← links)
- On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems (Q3460579) (← links)
- Winning Cores in Parity Games (Q4635927) (← links)
- (Q4636296) (← links)
- (Q4992516) (← links)
- (Q4994890) (← links)
