Follow
Mahsa Shirmohammadi
Title
Cited by
Cited by
Year
Roughness in Cayley graphs
MH Shahzamanian, M Shirmohammadi, B Davvaz
Information Sciences 180 (17), 3362-3372, 2010
382010
Synchronizing words for weighted and timed automata
L Doyen, L Juhl, KG Larsen, N Markey, M Shirmohammadi
34th International Conference on Foundation of Software Technology and …, 2014
212014
Infinite synchronizing words for probabilistic automata
L Doyen, T Massart, M Shirmohammadi
International Symposium on Mathematical Foundations of Computer Science, 278-289, 2011
172011
Revisiting reachability in timed automata
K Quaas, M Shirmohammadi, J Worrell
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
162017
Nonnegative matrix factorization requires irrationality
D Chistikov, S Kiefer, I Marusic, M Shirmohammadi, J Worrell
SIAM Journal on Applied Algebra and Geometry 1 (1), 285-307, 2017
152017
On restricted nonnegative matrix factorization
D Chistikov, S Kiefer, I Marušić, M Shirmohammadi, J Worrell
arXiv preprint arXiv:1605.07061, 2016
132016
Limit synchronization in Markov decision processes
L Doyen, T Massart, M Shirmohammadi
International Conference on Foundations of Software Science and Computation …, 2014
132014
Synchronizing automata over nested words
D Chistikov, P Martyugin, M Shirmohammadi
International Conference on Foundations of Software Science and Computation …, 2016
122016
Parity objectives in countable MDPs
S Kiefer, R Mayr, M Shirmohammadi, D Wojtczak
arXiv preprint arXiv:1704.04490, 2017
112017
Trace refinement in labelled Markov decision processes
N Fijalkow, S Kiefer, M Shirmohammadi
International Conference on Foundations of Software Science and Computation …, 2016
112016
Effective definability of the reachability relation in timed automata
M Fränzle, K Quaas, M Shirmohammadi, J Worrell
Information Processing Letters 153, 105871, 2020
102020
B\" uchi Objectives in Countable MDPs
S Kiefer, R Mayr, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1904.11573, 2019
92019
The complexity of synchronizing Markov decision processes
L Doyen, T Massart, M Shirmohammadi
Journal of Computer and System Sciences 100, 96-129, 2019
92019
Synchronizing data words for register automata
P Babari, K Quaas, M Shirmohammadi
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
92016
Synchronizing objectives for Markov decision processes
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1102.4121, 2011
92011
On the complexity of value iteration
N Balaji, S Kiefer, P Novotný, GA Pérez, M Shirmohammadi
arXiv preprint arXiv:1807.04920, 2018
82018
Infinite synchronizing words for probabilistic automata (Erratum)
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1206.0995, 2012
82012
Qualitative analysis of probabilistic synchronizing systems
M Shirmohammadi
Ecole Normale Supérieure de Cachan, France, 2014
72014
Robust synchronization in Markov decision processes
L Doyen, T Massart, M Shirmohammadi
International Conference on Concurrency Theory, 234-248, 2014
72014
Strategy complexity of parity objectives in countable mdps
S Kiefer, R Mayr, M Shirmohammadi, P Totzke
arXiv preprint arXiv:2007.05065, 2020
62020
The system can't perform the operation now. Try again later.
Articles 1–20