James C. A. Main

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

Collaborative distances:

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

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

Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory Assumptions.

James C. A. Main, Mickael Randour

Proceedings of the 33rd International Conference on Concurrency Theory, 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