Mahsa Shirmohammadi

1. Limit Synchronization in Markov Decision Processes
   2013/10/10 by Laurent Doyen, Doyen, Laurent, Thierry Massart +3 · 1 citation
   Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
2. Controlling a Random Population is EXPTIME-hard
   2019/09/13 by Corto Mascle, Mahsa Shirmohammadi, Mascle, Corto +3 · 1 citation
   Computer Science · Mathematics · #Reinforcement Learning in Robotics #Markov Chains and Monte Carlo Methods #Distributed systems and fault tolerance
3. Simple Linear Loops: Algebraic Invariants and Applications
   2024/07/12 by Rida Ait El Manssour, Manssour, Rida Ait El, George Kenison +5 · 2 citations
   Mathematics · #Algebraic Geometry (math.AG) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Mathematics and Applications
4. A parametric version of the Hilbert Nullstellensatz
   2024/08/23 by Rida Ait El Manssour, Nikhil Balaji, Manssour, Rida Ait El +7 · 1 citation
   Computer Science · #Matrix Theory and Algorithms