James C. A. Main (Preferred)
James C. A. Main
PhD student, Mathematics Department, Université de Mons
Joined
June 2024
Names
Emails
****@umons.ac.be (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Mathematics Department, Université de Mons (umons.ac.be)
2021 – Present
Advisors, Relations & Conflicts
Coauthor
Jeremy Sproston
Present
Coauthor
Thomas Brihaye
Present
Expertise
formal methods
, verification
Present
Markov decision processes
, stochastic games
, probabilistic model checking
, strategy (policy) synthesis
Present
games on graphs
, matrix games
, extensive form games
Present
Publications
No publications