Mahsa Shirmohammadi

Available identifiers

zbMath Open shirmohammadi.mahsaMaRDI QIDQ1740669

List of research outcomes

Publication	Date of Publication	Type
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters	2023-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q6134255	2023-08-21	Paper
On the Complexity of Value Iteration	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5092320	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089305	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089306	2022-07-18	Paper
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games	2022-03-22	Paper
Costs and rewards in priced timed automata	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5002811	2021-07-28	Paper
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices	2021-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5144644	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5144646	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5144681	2021-01-19	Paper
Trace Refinement in Labelled Markov Decision Processes	2020-06-26	Paper
Synchronizing Automata over Nested Words	2020-01-15	Paper
Effective definability of the reachability relation in timed automata	2019-11-21	Paper
Synchronizing Data Words for Register Automata	2019-07-04	Paper
The complexity of synchronizing Markov decision processes	2019-05-02	Paper
B\"uchi Objectives in Countable MDPs	2019-04-25	Paper
On Rationality of Nonnegative Matrix Factorization	2018-07-16	Paper
Synchronizing Data Words for Register Automata	2018-03-21	Paper
On Restricted Nonnegative Matrix Factorization	2017-12-19	Paper
Nonnegative Matrix Factorization Requires Irrationality	2017-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2978507	2017-04-25	Paper
Synchronizing Automata over Nested Words	2016-06-10	Paper
Trace Refinement in Labelled Markov Decision Processes	2016-06-10	Paper
Robust Synchronization in Markov Decision Processes	2014-09-15	Paper
Limit Synchronization in Markov Decision Processes	2014-04-16	Paper
Infinite Synchronizing Words for Probabilistic Automata	2011-08-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mahsa Shirmohammadi