pith. sign in

Mahsa Shirmohammadi

Identifiers

  • name variant Mahsa Shirmohammadi 0.60 · backfill

Papers (14)

  1. B\"uchi Objectives in Countable MDPs math.PR · 2019 · author #3
  2. Effective Definability of the Reachability Relation in Timed Automata cs.FL · 2019 · author #3
  3. On the Complexity of Value Iteration cs.FL · 2018 · author #5
  4. Costs and Rewards in Priced Timed Automata cs.LO · 2018 · author #2
  5. Synchronizing Data Words for Register Automata cs.FL · 2017 · author #2
  6. On Strong Determinacy of Countable Stochastic Games cs.GT · 2017 · author #3
  7. Parity Objectives in Countable MDPs cs.LO · 2017 · author #3
  8. Revisiting Reachability in Timed Automata cs.LO · 2017 · author #2
  9. On Restricted Nonnegative Matrix Factorization cs.FL · 2016 · author #4
  10. Nonnegative Matrix Factorization Requires Irrationality cs.CC · 2016 · author #4
  11. The Complexity of Synchronizing Markov Decision Processes cs.FL · 2016 · author #3
  12. Robust Synchronization in Markov Decision Processes cs.LO · 2014 · author #3
  13. Limit Synchronization in Markov Decision Processes cs.GT · 2013 · author #3
  14. Infinite Synchronizing Words for Probabilistic Automata (Erratum) cs.FL · 2012 · author #3

Mentions

  • 1206.0995 #3 · backfill · confidence 0.70 Mahsa Shirmohammadi

Frequent Coauthors