Mahsa Shirmohammadi
Publications
Publications
|
|
On the growth of hypergeometric sequences2025 |
|
|
Differential Tree Automata2025 |
|
|
Algebraic Closure of Matrix Sets Recognized by 1-VASS2025 |
|
|
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games2025 |
|
|
Determination Problems for Orbit Closures and Matrix Groups2025 |
|
|
A parametric version of the Hilbert Nullstellensatz2025 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⟩ |
|
|
Strategy Complexity of Büchi and Transience Objectives in Concurrent Stochastic GamesEC '25: 26th ACM Conference on Economics and Computation, Jul 2025, Stanford University Stanford CA USA, United States. pp.390-409, ⟨10.1145/3736252.3742560⟩ |
|
|
Reachability for Multi-Priced Timed Automata with Positive and Negative Rates33rd {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⟩ |
|
|
Memoryless Strategies in Stochastic Reachability GamesTaming 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⟩ |
|
|
On Learning Polynomial Recursive ProgramsProceedings of the ACM on Programming Languages (POPL'24), Jan 2024, London, United Kingdom. pp.1001-1027, ⟨10.1145/3632876⟩ |
|
|
Multiplicity Problems on Algebraic Series and Context-Free Grammars2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-12, ⟨10.1109/LICS56636.2023.10175707⟩ |
|
|
The Membership Problem for Hypergeometric Sequences with Quadratic ParametersISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.407-416, ⟨10.1145/3597066.3597121⟩ |
|
|
Identity Testing for Radical ExpressionsLICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-11, ⟨10.1145/3531130.3533331⟩ |
|
|
The Membership Problem for Hypergeometric Sequences with Rational ParametersISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.381-389, ⟨10.1145/3476446.3535504⟩ |
|
|
On the Computation of the Zariski Closure of Finitely Generated Groups of MatricesProceedings of ISSAC 2022, 2022, Villeneuve-d’Ascq, France. ⟨10.1145/3476446.3536172⟩ |
|
|
Transience in Countable MDPs32nd International Conference on Concurrency Theory, {CONCUR} 2021, Aug 2021, Virtual Conference, France |
|
|
Cyclotomic Identity Testing and ApplicationsISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event Russian Federation, France. pp.35-42, ⟨10.1145/3452143.3465530⟩ |
|
|
Coverability in 1-VASS with Disequality Tests31st International Conference on Concurrency Theory, CONCUR 2020, Sep 2020, Vienna, Austria. pp.38:1--38:20, ⟨10.4230/LIPIcs.CONCUR.2020.38⟩ |
|
|
Strategy Complexity of Parity Objectives in Countable MDPs31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.39:1--39:17, ⟨10.4230/LIPIcs.CONCUR.2020.39⟩ |
|
|
How to Play in Infinite MDPs47th 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⟩ |
On the Complexity of Value Iteration46th 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⟩ |
|
Büchi Objectives in Countable MDPs46th 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⟩ |
|
|
|
Costs and Rewards in Priced Timed Automata45th 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⟩ |
|
|
On strong determinacy of countable stochastic games2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005134⟩ |
|
|
Revisiting reachability in timed automata2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-12, ⟨10.1109/LICS.2017.8005098⟩ |
|
|
On Rationality of Nonnegative Matrix FactorizationProceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2017, Barcelona, Spain. pp.1290-1305, ⟨10.1137/1.9781611974782.84⟩ |
|
|
Parity objectives in countable MDPs2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. pp.1-11, ⟨10.1109/LICS.2017.8005100⟩ |
Trace Refinement in Labelled Markov Decision ProcessesFoundations of Software Science and Computation Structures, FoSSaCS, 2016, NA, United Kingdom. ⟨10.1007/978-3-662-49630-5\_18⟩ |
|
|
Formal Modeling and Analysis of Timed SystemsSpringer International Publishing, 12860, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85037-1⟩ |