Mahsa Shirmohammadi

38
Documents

Publications

Publications

Reachability for Multi-Priced Timed Automata with Positive and Negative Rates

Andrew Scoones , Mahsa Shirmohammadi , James Worrell
33rd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2025, Amsterdam, The Netherlands, February 10-14, 2025, Feb 2025, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CSL.2025.18⟩
Communication dans un congrès hal-05406979 v1

A parametric version of the Hilbert Nullstellensatz

Rida Ait El Manssour , Nikhil Balaji , Klara Nosan , Mahsa Shirmohammadi , James Worrell
2025 Symposium on Simplicity in Algorithms, {SOSA} 2025, New Orleans, LA, USA, January 13-15, 2025, Jan 2025, New Orleans (LA), United States. pp.444-451, ⟨10.1137/1.9781611978315.32⟩
Communication dans un congrès hal-05406989 v1

Strategy Complexity of Büchi and Transience Objectives in Concurrent Stochastic Games

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke
EC '25: 26th ACM Conference on Economics and Computation, Jul 2025, Stanford University Stanford CA USA, United States. pp.390-409, ⟨10.1145/3736252.3742560⟩
Communication dans un congrès hal-05406983 v1

On Learning Polynomial Recursive Programs

Alex Buna-Marginean , Vincent Cheval , Mahsa Shirmohammadi , James Worrell
Proceedings of the ACM on Programming Languages (POPL'24), Jan 2024, London, United Kingdom. pp.1001-1027, ⟨10.1145/3632876⟩
Communication dans un congrès hal-04806037 v1

Memoryless Strategies in Stochastic Reachability Games

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke
Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday, Apr 2024, Luxembourg, Luxembourg. pp.225-242, ⟨10.1007/978-3-031-56222-8_13⟩
Communication dans un congrès hal-04806031 v1

Multiplicity Problems on Algebraic Series and Context-Free Grammars

Nikhil Balaji , Lorenzo Clemente , Klara Nosan , Mahsa Shirmohammadi , James Worrell
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-12, ⟨10.1109/LICS56636.2023.10175707⟩
Communication dans un congrès hal-04252566 v1

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

George Kenison , Klara Nosan , Mahsa Shirmohammadi , James Worrell
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.407-416, ⟨10.1145/3597066.3597121⟩
Communication dans un congrès hal-04252563 v1

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 ISSAC 2022, 2022, Villeneuve-d’Ascq, France. ⟨10.1145/3476446.3536172⟩
Communication dans un congrès hal-03450297 v1

The Membership Problem for Hypergeometric Sequences with Rational Parameters

Klara Nosan , Amaury Pouly , Mahsa Shirmohammadi , James Worrell
ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.381-389, ⟨10.1145/3476446.3535504⟩
Communication dans un congrès hal-03861547 v1

Identity Testing for Radical Expressions

Nikhil Balaji , Klara Nosan , Mahsa Shirmohammadi , James Worrell
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-11, ⟨10.1145/3531130.3533331⟩
Communication dans un congrès hal-03861546 v1

Cyclotomic Identity Testing and Applications

Nikhil Balaji , Sylvain Perifel , Mahsa Shirmohammadi , James Worrell
ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event Russian Federation, France. pp.35-42, ⟨10.1145/3452143.3465530⟩
Communication dans un congrès hal-03435904 v1

Transience in Countable MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke
32nd International Conference on Concurrency Theory, {CONCUR} 2021, Aug 2021, Virtual Conference, France
Communication dans un congrès hal-03435906 v1

Coverability in 1-VASS with Disequality Tests

Shaull Almagor , Nathann Cohen , Guillermo A. Pérez , Mahsa Shirmohammadi , James Worrell
31st International Conference on Concurrency Theory, CONCUR 2020, Sep 2020, Vienna, Austria. pp.38:1--38:20, ⟨10.4230/LIPIcs.CONCUR.2020.38⟩
Communication dans un congrès hal-03064637 v1

Strategy Complexity of Parity Objectives in Countable MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke
31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.39:1--39:17, ⟨10.4230/LIPIcs.CONCUR.2020.39⟩
Communication dans un congrès hal-03064654 v1
Image document

How to Play in Infinite MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke , Dominik Wojtczak
47th International Colloquium on Automata, Languages, and Programming (ICALP 202)0, Jul 2020, Sarrebruck, Germany. pp.3:1--3:18, ⟨10.4230/LIPIcs.ICALP.2020.3⟩
Communication dans un congrès hal-03064669 v1

Büchi Objectives in Countable MDPs

Mahsa Shirmohammadi , Stefan Kiefer , Richard Mayr , Patrick Totzke
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.119⟩
Communication dans un congrès hal-02411532 v1

On the Complexity of Value Iteration

Mahsa Shirmohammadi , Nikhil Balaji , Stefan Kiefer , Petr Novotny , Guillermo A. Pérez
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.102⟩
Communication dans un congrès hal-02411530 v1

Costs and Rewards in Priced Timed Automata

James Worrell , Mani Swaminathan , Martin Fränzle , Mahsa Shirmohammadi
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.125⟩
Communication dans un congrès hal-02411534 v1

On strong determinacy of countable stochastic games

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Dominik Wojtczak
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005134⟩
Communication dans un congrès hal-02411538 v1

On Rationality of Nonnegative Matrix Factorization

Dmitry Chistikov , Stefan Kiefer , Ines Marušic , Mahsa Shirmohammadi , James Worrell
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelona, Spain. pp.1290-1305, ⟨10.1137/1.9781611974782.84⟩
Communication dans un congrès hal-02411542 v1

Revisiting reachability in timed automata

Karin Quaas , Mahsa Shirmohammadi , James Worrell
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005098⟩
Communication dans un congrès hal-02411539 v1

Parity objectives in countable MDPs

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Dominik Wojtczakz
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-11, ⟨10.1109/LICS.2017.8005100⟩
Communication dans un congrès hal-02411536 v1

Trace Refinement in Labelled Markov Decision Processes

Nathanaël Fijalkow , Stefan Kiefer , Mahsa Shirmohammadi
Foundations of Software Science and Computation Structures, FoSSaCS, 2016, NA, United Kingdom. ⟨10.1007/978-3-662-49630-5\_18⟩
Communication dans un congrès hal-03410683 v1

Simple Linear Loops: Algebraic Invariants and Applications

Rida Ait El Manssour , George Kenison , Mahsa Shirmohammadi , Anton Varonka
Proceedings of the ACM on Programming Languages, 2025, 9 (POPL), pp.745-771. ⟨10.1145/3704862⟩
Article dans une revue hal-05406962 v1

Strategy Complexity of Reachability in Countable Stochastic 2-Player Games

Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke
Dynamic Games and Applications, 2024, ⟨10.1007/s13235-024-00575-6⟩
Article dans une revue hal-04806038 v1

A Beginner's Tutorial on Strategy Complexity in Stochastic Games

Mahsa Shirmohammadi
ACM SIGLOG News, 2022, 9 (4), pp.27-43. ⟨10.1145/3583660.3583666⟩
Article dans une revue hal-04252568 v1

Costs and rewards in priced timed automata

Martin Fränzle , Mahsa Shirmohammadi , Mani Swaminathan , James Worrell
Information and Computation, 2022, 282, pp.104656. ⟨10.1016/j.ic.2020.104656⟩
Article dans une revue hal-03861549 v1

Effective definability of the reachability relation in timed automata

Martin Fränzle , Karin Quaas , Mahsa Shirmohammadi , James Worrell
Information Processing Letters, 2020, 153, pp.105871. ⟨10.1016/j.ipl.2019.105871⟩
Article dans une revue hal-03064610 v1

Trace Refinement in Labelled Markov Decision Processes

Nathanaël Fijalkow , Stefan Kiefer , Mahsa Shirmohammadi
Logical Methods in Computer Science, 2020, 16 (2), ⟨10.23638/LMCS-16(2:10)2020⟩
Article dans une revue hal-02503354 v1
Image document

Synchronizing Automata over Nested Words

Dmitry Chistikov , Pavel Martyugin , Mahsa Shirmohammadi
Journal of Automata Languages and Combinatorics, 2019, 24 (2-4), pp.219--251. ⟨10.25596/jalc-2019-219⟩
Article dans une revue hal-02411524 v1

Synchronizing Data Words for Register Automata

Karin Quaas , Mahsa Shirmohammadi
ACM Transactions on Computational Logic, 2019, 20 (2), pp.1-27. ⟨10.1145/3309760⟩
Article dans une revue hal-02411520 v1

The complexity of synchronizing Markov decision processes

Laurent Doyen , Thierry Massart , Mahsa Shirmohammadi
Journal of Computer and System Sciences, 2019, 100, pp.96-129. ⟨10.1016/j.jcss.2018.09.004⟩
Article dans une revue hal-02411525 v1

Formal Modeling and Analysis of Timed Systems

Mahsa Shirmohammadi , Catalin Dima
Springer International Publishing, 12860, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85037-1⟩
Ouvrages hal-03435905 v1