Showing 1 - 20 results of 24 for search 'Shirmohammadi, M', query time: 0.03s
Refine Results
-
1
Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M
Published 2015Journal article -
2
Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M
Published 2020Journal article -
3
Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M
Published 2015Conference item -
4
Synchronizing Data Words for Register Automata by Shirmohammadi, M, Babari, P, Quaas, K
Published 2016Conference item -
5
Revisiting reachability in timed automata by Quaas, K, Shirmohammadi, M, Worrell, J
Published 2017Conference item -
6
Cyclotomic identity testing and applications by Balaji, N, Perifel, S, Shirmohammadi, M, Worrell, J
Published 2021Conference item -
7
Strategy complexity of parity objectives in countable MDPs by Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P
Published 2020Conference item -
8
Parity objectives in countable MDPs by Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D
Published 2017Conference item -
9
Strategy complexity of reachability in countable stochastic 2-player games by Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P
Published 2024Journal article -
10
Büchi objectives in countable MDPs by Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P
Published 2019Conference item -
11
On strong determinacy of countable stochastic games by Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D
Published 2017Conference item -
12
Transience in countable MDPs by Kiefer, SM, Mayr, R, Shirmohammadi, M, Totzke, P
Published 2021Conference item -
13
The Membership Problem for hypergeometric sequences with quadratic parameters by Kenison, G, Nosan, K, Shirmohammadi, M, Worrell, J
Published 2023Conference item -
14
Identity testing for radical expressions by Balaji, N, Nosan, K, Shirmohammadi, M, Worrell, J
Published 2022Conference item -
15
The membership problem for hypergeometric sequences with rational parameters by Nosan, K, Pouly, A, Shirmohammadi, M, Worrell, J
Published 2022Conference item -
16
Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J
Published 2018Journal article -
17
Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J
Published 2020Journal article -
18
Nonnegative matrix factorization requires irrationality by Chistikov, D, Kiefer, S, Marusic, I, Shirmohammadi, M, Worrell, J
Published 2017Journal article -
19
On Rationality of Nonnegative Matrix Factorization by Chistikov, D, Kiefer, S, Marusic, I, Shirmohammadi, M, Worrell, J
Published 2017Conference item -
20
On learning polynomial recursive programs by Buna-Marginean, A, Cheval, V, Shirmohammadi, M, Worrell, J
Published 2024Conference item