Mahsa Shirmohammadi

According to our database, Mahsa Shirmohammadi authored at least 40 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

On Learning Polynomial Recursive Programs.

Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell

Proc. ACM Program. Lang., January, 2024

Memoryless Strategies in Stochastic Reachability Games.

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke

CoRR, 2024

2023

Multiplicity Problems on Algebraic Series and Context-Free Grammars.

Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell

LICS, 2023

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.

George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood?

Mahsa Shirmohammadi

ACM SIGLOG News, October, 2022

Costs and rewards in priced timed automata.

Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell

Inf. Comput., 2022

Strategy Complexity of Reachability in Countable Stochastic 2-Player Games.

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke

CoRR, 2022

Identity Testing for Radical Expressions.

Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices.

Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

The Membership Problem for Hypergeometric Sequences with Rational Parameters.

Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices.

Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell

CoRR, 2021

Cyclotomic Identity Testing and Applications.

Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

Transience in Countable MDPs.

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke

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

2020

Trace Refinement in Labelled Markov Decision Processes.

Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi

Log. Methods Comput. Sci., 2020

Effective definability of the reachability relation in timed automata.

Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell

Inf. Process. Lett., 2020

How to Play in Infinite MDPs (Invited Talk).

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Strategy Complexity of Parity Objectives in Countable MDPs.

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Coverability in 1-VASS with Disequality Tests.

Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Synchronizing Data Words for Register Automata.

Karin Quaas, Mahsa Shirmohammadi

ACM Trans. Comput. Log., 2019

The complexity of synchronizing Markov decision processes.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

J. Comput. Syst. Sci., 2019

Synchronizing Automata over Nested Words.

Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi

J. Autom. Lang. Comb., 2019

Controlling a Random Population is EXPTIME-hard.

Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke

CoRR, 2019

Büchi Objectives in Countable MDPs.

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

On the Complexity of Value Iteration.

Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes.

Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi

CoRR, 2018

2017

Nonnegative Matrix Factorization Requires Irrationality.

Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell

SIAM J. Appl. Algebra Geom., 2017

On Rationality of Nonnegative Matrix Factorization.

Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell

Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017

Revisiting reachability in timed automata.

Karin Quaas, Mahsa Shirmohammadi, James Worrell

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

On strong determinacy of countable stochastic games.

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Parity objectives in countable MDPs.

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Synchronizing Data Words for Register Automata.

Parvaneh Babari, Karin Quaas, Mahsa Shirmohammadi

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

On Restricted Nonnegative Matrix Factorization.

Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2014

Qualitative analysis of synchronizing probabilistic systems. (Analyse qualitative des systèmes probabilistes synchronisants).

Mahsa Shirmohammadi

PhD thesis, 2014

Synchronizing Words for Weighted and Timed Automata.

Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Limit Synchronization in Markov Decision Processes.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Robust Synchronization in Markov Decision Processes.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2012

Infinite Synchronizing Words for Probabilistic Automata (Erratum)

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

CoRR, 2012

2011

Synchronizing Objectives for Markov Decision Processes

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

Infinite Synchronizing Words for Probabilistic Automata.

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

2010

Roughness in Cayley graphs.

M. H. Shahzamanian, Mahsa Shirmohammadi, Bijan Davvaz

Inf. Sci., 2010