James C. A. Main

According to our database, James C. A. Main authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies.

James C. A. Main, Mickael Randour

CoRR, February, 2025

Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs.

Michal Ajdarów, James C. A. Main, Petr Novotný, Mickael Randour

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

2024

Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions.

James C. A. Main, Mickael Randour

Inf. Comput., 2024

Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games.

James C. A. Main

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023

Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk).

Thomas Brihaye, Aline Goeminne, James C. A. Main, Mickael Randour

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

Timed Games with Bounded Window Parity Objectives.

James C. A. Main, Mickael Randour, Jeremy Sproston

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives.

James C. A. Main, Mickael Randour, Jeremy Sproston

Proceedings of the 32nd International Conference on Concurrency Theory, 2021