Search Results - Shirmohammadi, Mahsa

Refine Results
  1. 1
    Trace Refinement in Labelled Markov Decision Processes

    Trace Refinement in Labelled Markov Decision Processes by Fijalkow, Nathanaël, Kiefer, Stefan, Shirmohammadi, Mahsa

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    The complexity of synchronizing Markov decision processes

    The complexity of synchronizing Markov decision processes by Doyen, Laurent, Massart, Thierry, Shirmohammadi, Mahsa

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Synchronizing Data Words for Register Automata

    Synchronizing Data Words for Register Automata by Quaas, Karin, Shirmohammadi, Mahsa

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Effective definability of the reachability relation in timed automata

    Effective definability of the reachability relation in timed automata by Fränzle, Martin, Quaas, Karin, Shirmohammadi, Mahsa, Worrell, James

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Strategy Complexity of Reachability in Countable Stochastic 2-Player Games

    Strategy Complexity of Reachability in Countable Stochastic 2-Player Games by Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Costs and rewards in priced timed automata

    Costs and rewards in priced timed automata by Fränzle, Martin, Shirmohammadi, Mahsa, Swaminathan, Mani, Worrell, James

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    On Learning Polynomial Recursive Programs

    On Learning Polynomial Recursive Programs by Buna-Marginean, Alex, Cheval, Vincent, Shirmohammadi, Mahsa, Worrell, James

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Synchronizing Objectives for Markov Decision Processes

    Synchronizing Objectives for Markov Decision Processes by Doyen, Laurent, Massart, Thierry, Shirmohammadi, Mahsa

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood?

    A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood? by Shirmohammadi, Mahsa

    Published in SIGLOG news
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    A Beginner's Tutorial on Strategy Complexity in Stochastic Games

    A Beginner's Tutorial on Strategy Complexity in Stochastic Games by Shirmohammadi, Mahsa

    Published in SIGLOG news
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices

    On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices by Nosan, Klara, Pouly, Amaury, Schmitz, Sylvain, Shirmohammadi, Mahsa, Worrell, James

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Reachability for Multi-Priced Timed Automata with Positive and Negative Rates

    Reachability for Multi-Priced Timed Automata with Positive and Negative Rates by Scoones, Andrew, Shirmohammadi, Mahsa, Worrell, James

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Trace Refinement in Labelled Markov Decision Processes

    Trace Refinement in Labelled Markov Decision Processes by Fijalkow, Nathanaël, Kiefer, Stefan, Shirmohammadi, Mahsa

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Simple Linear Loops: Algebraic Invariants and Applications

    Simple Linear Loops: Algebraic Invariants and Applications by Rida Ait El Manssour, Kenison, George, Shirmohammadi, Mahsa, Varonka, Anton

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    On Tree Automata, Generating Functions, and Differential Equations

    On Tree Automata, Generating Functions, and Differential Equations by Rida Ait El Manssour, Cheval, Vincent, Shirmohammadi, Mahsa, Worrell, James

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Determination Problems for Orbit Closures and Matrix Groups

    Determination Problems for Orbit Closures and Matrix Groups by Rida Ait El Manssour, Kenison, George, Shirmohammadi, Mahsa, Worrell, James

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Strategy Complexity of Reachability in Countable Stochastic 2-Player Games

    Strategy Complexity of Reachability in Countable Stochastic 2-Player Games by Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Synchronizing Data Words for Register Automata

    Synchronizing Data Words for Register Automata by Quaas, Karin, Shirmohammadi, Mahsa

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Strategy Complexity of Büchi Objectives in Concurrent Stochastic Games

    Strategy Complexity of Büchi Objectives in Concurrent Stochastic Games by Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Memoryless Strategies in Stochastic Reachability Games

    Memoryless Strategies in Stochastic Reachability Games by Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: