Research outputs

Our people

Filter research outputs

What type of research output do you want to show?

All

Conference Paper

Journal

Preprint

2025

Resolving Nondeterminism by Chance

Paul, S., Purser, D., Schewe, S., Tang, Q., Totzke, P., & Yen, D. D. (2025). Resolving Nondeterminism by Chance. In Leibniz International Proceedings in Informatics Lipics Vol. 348. doi:10.4230/LIPIcs.CONCUR.2025.32

DOI: 10.4230/LIPIcs.CONCUR.2025.32
: Conference Paper

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

2021

Pushable chromatic number of graphs with degree constraints

Bensmail, J., Das, S., Nandi, S., Paul, S., Pierron, T., Sen, S., & Sopena, É. (2021). Pushable chromatic number of graphs with degree constraints. Discrete Mathematics, 344(1), 112151. doi:10.1016/j.disc.2020.112151

DOI: 10.1016/j.disc.2020.112151
: Journal article

2020

A Bridge between Polynomial Optimization and Games with Imperfect Recall

: Preprint