Research outputs

Our people

Filter research outputs

What type of research output do you want to show?

All

Conference Paper

Preprint

2025

Resolving Nondeterminism by Chance

: Preprint

Simplifying imperfect recall games

: Preprint

Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata

Li, Y., Paul, S., Schewe, S., & Tang, Q. (2025). Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. In Unknown Conference (pp. 276-298). Springer Nature Switzerland. doi:10.1007/978-3-031-98679-6_13

DOI: 10.1007/978-3-031-98679-6_13
: Conference Paper

2020

A Bridge between Polynomial Optimization and Games with Imperfect Recall

: Preprint