Mahsa Shirmohammadi

85 papers A* 14B 14Journal 51Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A* conf
Algebraic Closure of Matrix Sets Recognized by 1-VASS.
SODA
Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi, James Worrell
2026 J jnl
Determination Problems for Orbit Closures and Matrix Groups.
Proc. ACM Program. Lang.
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka, James Worrell
2025 — conf
A parametric version of the Hilbert Nullstellensatz.
SOSA
Rida Ait El Manssour, Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2025 J jnl
Algebraic Closure of Matrix Sets Recognized by 1-VASS.
CoRR
Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi, James Worrell
2025 A* conf
Learning Weighted Automata over Number Rings, Concretely and Categorically.
LICS
Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi
2025 J jnl
Learning Weighted Automata over Number Rings, Concretely and Categorically.
CoRR
Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi
2025 J jnl
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games.
CoRR
Vincent Cheval, Florian Horn, Soumyajit Paul, Mahsa Shirmohammadi
2025 J jnl
On the growth of hypergeometric sequences.
CoRR
George Kenison, Jakub Konieczny, Florian Luca, Andrew Scoones, Mahsa Shirmohammadi, James Worrell
2025 B conf
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates.
CSL
Andrew Scoones, Mahsa Shirmohammadi, James Worrell
2025 J jnl
Simple Linear Loops: Algebraic Invariants and Applications.
Proc. ACM Program. Lang.
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
2025 A* conf
Strategy Complexity of Büchi and Transience Objectives in Concurrent Stochastic Games.
EC
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2025 J jnl
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games.
Dyn. Games Appl.
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2024 J jnl
A parametric version of the Hilbert Nullstellensatz.
CoRR
Rida Ait El Manssour, Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2024 J jnl
Determination Problems for Orbit Closures and Matrix Groups.
CoRR
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell
2024 — conf
Memoryless Strategies in Stochastic Reachability Games.
Taming the Infinities of Concurrency
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2024 J jnl
Memoryless Strategies in Stochastic Reachability Games.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2024 J jnl
On Learning Polynomial Recursive Programs.
Proc. ACM Program. Lang.
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2024 J jnl
On Tree Automata, Generating Functions, and Differential Equations.
CoRR
Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2024 J jnl
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates.
CoRR
Andrew Scoones, Mahsa Shirmohammadi, James Worrell
2024 J jnl
Simple Linear Loops: Algebraic Invariants and Applications.
CoRR
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
2024 J jnl
Strategy Complexity of B\"uchi Objectives in Concurrent Stochastic Games.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2023 A* conf
Multiplicity Problems on Algebraic Series and Context-Free Grammars.
LICS
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
Multiplicity Problems on Algebraic Series and Context-Free Grammars.
CoRR
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
On Learning Polynomial Recursive Programs.
CoRR
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
2023 B conf
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
ISSAC
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
CoRR
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2022 J jnl
A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood?
ACM SIGLOG News
Mahsa Shirmohammadi
2022 J jnl
Costs and rewards in priced timed automata.
Inf. Comput.
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2022 A* conf
Identity Testing for Radical Expressions.
LICS
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2022 J jnl
Identity testing for radical expressions.
CoRR
Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2022 B conf
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices.
ISSAC
Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell
2022 J jnl
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2022 B conf
The Membership Problem for Hypergeometric Sequences with Rational Parameters.
ISSAC
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
2022 J jnl
The Membership Problem for Hypergeometric Sequences with Rational Parameters.
CoRR
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
2021 B conf
Cyclotomic Identity Testing and Applications.
ISSAC
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
2021 — ed.
Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
FORMATS
Catalin Dima, Mahsa Shirmohammadi
2021 J jnl
On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices.
CoRR
Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell
2021 B conf
Transience in Countable MDPs.
CONCUR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2020 B conf
Coverability in 1-VASS with Disequality Tests.
CONCUR
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2020 J jnl
Cyclotomic Identity Testing and Applications.
CoRR
Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell
2020 J jnl
Effective definability of the reachability relation in timed automata.
Inf. Process. Lett.
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
2020 A* conf
How to Play in Infinite MDPs (Invited Talk).
ICALP
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak
2020 B conf
Strategy Complexity of Parity Objectives in Countable MDPs.
CONCUR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2020 J jnl
Strategy Complexity of Parity Objectives in Countable MDPs.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2020 J jnl
Trace Refinement in Labelled Markov Decision Processes.
Log. Methods Comput. Sci.
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
2020 J jnl
Transience in Countable MDPs.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2019 A* conf
Büchi Objectives in Countable MDPs.
ICALP
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2019 J jnl
Büchi Objectives in Countable MDPs.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
2019 J jnl
Controlling a Random Population is EXPTIME-hard.
CoRR
Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke
2019 J jnl
Coverability in 1-VASS with Disequality Tests.
CoRR
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2019 J jnl
Effective Definability of the Reachability Relation in Timed Automata.
CoRR
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell
2019 A* conf
On the Complexity of Value Iteration.
ICALP
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
2019 J jnl
Synchronizing Automata over Nested Words.
J. Autom. Lang. Comb.
Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi
2019 J jnl
Synchronizing Data Words for Register Automata.
ACM Trans. Comput. Log.
Karin Quaas, Mahsa Shirmohammadi
2019 J jnl
The complexity of synchronizing Markov decision processes.
J. Comput. Syst. Sci.
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2018 A* conf
Costs and Rewards in Priced Timed Automata.
ICALP
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2018 J jnl
Costs and Rewards in Priced Timed Automata.
CoRR
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell
2018 J jnl
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes.
CoRR
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
2017 J jnl
Nonnegative Matrix Factorization Requires Irrationality.
SIAM J. Appl. Algebra Geom.
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2017 A* conf
On Rationality of Nonnegative Matrix Factorization.
SODA
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2017 J jnl
On Strong Determinacy of Countable Stochastic Games.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017 A* conf
On strong determinacy of countable stochastic games.
LICS
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017 J jnl
Parity Objectives in Countable MDPs.
CoRR
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017 A* conf
Parity objectives in countable MDPs.
LICS
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017 J jnl
Revisiting Reachability in Timed Automata.
CoRR
Karin Quaas, Mahsa Shirmohammadi, James Worrell
2017 A* conf
Revisiting reachability in timed automata.
LICS
Karin Quaas, Mahsa Shirmohammadi, James Worrell
2017 J jnl
Synchronizing Data Words for Register Automata.
CoRR
Karin Quaas, Mahsa Shirmohammadi
2016 J jnl
Nonnegative Matrix Factorization Requires Irrationality.
CoRR
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 A* conf
On Restricted Nonnegative Matrix Factorization.
ICALP
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 J jnl
On Restricted Nonnegative Matrix Factorization.
CoRR
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 B conf
Synchronizing Automata over Nested Words.
FoSSaCS
Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi
2016 B conf
Synchronizing Data Words for Register Automata.
MFCS
Parvaneh Babari, Karin Quaas, Mahsa Shirmohammadi
2016 J jnl
The Complexity of Synchronizing Markov Decision Processes.
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2016 B conf
Trace Refinement in Labelled Markov Decision Processes.
FoSSaCS
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
2015 J jnl
Trace Refinement in Labelled Markov Decision Processes.
CoRR
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
2014 B conf
Limit Synchronization in Markov Decision Processes.
FoSSaCS
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014 — —
Qualitative analysis of synchronizing probabilistic systems. (Analyse qualitative des systèmes probabilistes synchronisants).
Mahsa Shirmohammadi
2014 B conf
Robust Synchronization in Markov Decision Processes.
CONCUR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014 J jnl
Robust Synchronization in Markov Decision Processes.
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014 — conf
Synchronizing Words for Weighted and Timed Automata.
FSTTCS
Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi
2013 J jnl
Limit Synchronization in Markov Decision Processes.
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2012 J jnl
Infinite Synchronizing Words for Probabilistic Automata (Erratum)
CoRR
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2011 B conf
Infinite Synchronizing Words for Probabilistic Automata.
MFCS
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2011 — conf
Synchronizing Objectives for Markov Decision Processes
iWIGP
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2010 J jnl
Roughness in Cayley graphs.
Inf. Sci.
M. H. Shahzamanian, Mahsa Shirmohammadi, Bijan Davvaz