James C. A. Main

14 papers A* 1A 1B 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Arena-independent memory bounds for Nash equilibria in reachability games.
Inf. Comput.
James C. A. Main
2025 J jnl
Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies.
CoRR
James C. A. Main, Mickael Randour
2025 A* conf
Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs.
ICALP
Michal Ajdarów, James C. A. Main, Petr Novotný, Mickael Randour
2025 J jnl
Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs.
CoRR
Michal Ajdarów, James C. A. Main, Petr Novotný, Mickael Randour
2024 A conf
Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games.
STACS
James C. A. Main
2024 J jnl
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions.
Inf. Comput.
James C. A. Main, Mickael Randour
2023 J jnl
Arena-independent Memory Bounds for Nash Equilibria in Reachability Games.
CoRR
James C. A. Main
2023 — conf
Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk).
FSTTCS
Thomas Brihaye, Aline Goeminne, James C. A. Main, Mickael Randour
2022 B conf
Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory Assumptions.
CONCUR
James C. A. Main, Mickael Randour
2022 J jnl
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions.
CoRR
James C. A. Main, Mickael Randour
2022 — conf
Timed Games with Bounded Window Parity Objectives.
FORMATS
James C. A. Main, Mickael Randour, Jeremy Sproston
2022 J jnl
Timed Games with Bounded Window Parity Objectives.
CoRR
James C. A. Main, Mickael Randour, Jeremy Sproston
2021 B conf
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives.
CONCUR
James C. A. Main, Mickael Randour, Jeremy Sproston
2021 J jnl
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives.
CoRR
James C. A. Main, Mickael Randour, Jeremy Sproston