Mahsa Shirmohammadi

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 60

Top Venues

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
Simple Linear Loops: Algebraic Invariants and Applications. CoRR (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Memoryless Strategies in Stochastic Reachability Games. CoRR (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of B\"uchi Objectives in Concurrent Stochastic Games. CoRR (2024)
Andrew Scoones, Mahsa Shirmohammadi, James Worrell
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. CoRR (2024)
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
On Learning Polynomial Recursive Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell
Determination Problems for Orbit Closures and Matrix Groups. CoRR (2024)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Memoryless Strategies in Stochastic Reachability Games. Taming the Infinities of Concurrency (2024)
Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
On Tree Automata, Generating Functions, and Differential Equations. CoRR (2024)
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
On Learning Polynomial Recursive Programs. CoRR (2023)
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. CoRR (2023)
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Multiplicity Problems on Algebraic Series and Context-Free Grammars. CoRR (2023)
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. ISSAC (2023)
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Multiplicity Problems on Algebraic Series and Context-Free Grammars. LICS (2023)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games. CoRR (2022)
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Identity testing for radical expressions. CoRR (2022)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and rewards in priced timed automata. Inf. Comput. 282 (2022)
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Rational Parameters. CoRR (2022)
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Rational Parameters. ISSAC (2022)
Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices. ISSAC (2022)
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Identity Testing for Radical Expressions. LICS (2022)
Mahsa Shirmohammadi
A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood? ACM SIGLOG News 9 (4) (2022)
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
Cyclotomic Identity Testing and Applications. ISSAC (2021)
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices. CoRR (2021)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Transience in Countable MDPs. CONCUR (2021)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Parity Objectives in Countable MDPs. CoRR (2020)
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Trace Refinement in Labelled Markov Decision Processes. Log. Methods Comput. Sci. 16 (2) (2020)
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
Cyclotomic Identity Testing and Applications. CoRR (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak
How to Play in Infinite MDPs (Invited Talk). ICALP (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Transience in Countable MDPs. CoRR (2020)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Strategy Complexity of Parity Objectives in Countable MDPs. CONCUR (2020)
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
Effective definability of the reachability relation in timed automata. Inf. Process. Lett. 153 (2020)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CONCUR (2020)
Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi
Synchronizing Automata over Nested Words. J. Autom. Lang. Comb. 24 (2-4) (2019)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Büchi Objectives in Countable MDPs. CoRR (2019)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CoRR (2019)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
The complexity of synchronizing Markov decision processes. J. Comput. Syst. Sci. 100 (2019)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Büchi Objectives in Countable MDPs. ICALP (2019)
Karin Quaas, Mahsa Shirmohammadi
Synchronizing Data Words for Register Automata. ACM Trans. Comput. Log. 20 (2) (2019)
Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke
Controlling a Random Population is EXPTIME-hard. CoRR (2019)
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
Effective Definability of the Reachability Relation in Timed Automata. CoRR (2019)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Value Iteration. ICALP (2019)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes. CoRR (2018)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and Rewards in Priced Timed Automata. CoRR (2018)
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
Costs and Rewards in Priced Timed Automata. ICALP (2018)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
On Rationality of Nonnegative Matrix Factorization. SODA (2017)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
Nonnegative Matrix Factorization Requires Irrationality. SIAM J. Appl. Algebra Geom. 1 (1) (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
Parity Objectives in Countable MDPs. CoRR (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
Parity objectives in countable MDPs. LICS (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
On strong determinacy of countable stochastic games. LICS (2017)
Karin Quaas, Mahsa Shirmohammadi, James Worrell
Revisiting Reachability in Timed Automata. CoRR (2017)
Karin Quaas, Mahsa Shirmohammadi, James Worrell
Revisiting reachability in timed automata. LICS (2017)
Karin Quaas, Mahsa Shirmohammadi
Synchronizing Data Words for Register Automata. CoRR (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
On Strong Determinacy of Countable Stochastic Games. CoRR (2017)
Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi
Synchronizing Automata over Nested Words. FoSSaCS (2016)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
On Restricted Nonnegative Matrix Factorization. ICALP (2016)
Parvaneh Babari, Karin Quaas, Mahsa Shirmohammadi
Synchronizing Data Words for Register Automata. MFCS (2016)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
The Complexity of Synchronizing Markov Decision Processes. CoRR (2016)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
On Restricted Nonnegative Matrix Factorization. CoRR (2016)
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Trace Refinement in Labelled Markov Decision Processes. FoSSaCS (2016)
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
Nonnegative Matrix Factorization Requires Irrationality. CoRR (2016)
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Trace Refinement in Labelled Markov Decision Processes. CoRR (2015)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Limit Synchronization in Markov Decision Processes. FoSSaCS (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Robust Synchronization in Markov Decision Processes. CONCUR (2014)
Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi
Synchronizing Words for Weighted and Timed Automata. FSTTCS (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Robust Synchronization in Markov Decision Processes. CoRR (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Limit Synchronization in Markov Decision Processes. CoRR (2013)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Infinite Synchronizing Words for Probabilistic Automata (Erratum) CoRR (2012)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Infinite Synchronizing Words for Probabilistic Automata. MFCS (2011)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Synchronizing Objectives for Markov Decision Processes iWIGP (2011)
M. H. Shahzamanian, Mahsa Shirmohammadi, Bijan Davvaz
Roughness in Cayley graphs. Inf. Sci. 180 (17) (2010)

Mahsa Shirmohammadi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mahsa Shirmohammadi