Showing 1 - 9 results of 9 for search 'Soudjani, S', query time: 0.02s
Refine Results
-
1
Quantitative approximation of the probability distribution of a Markov process by formal abstractions by Esmaeil Zadeh Soudjani, S, Abate, A
Published 2015Journal article -
2
Aggregation and control of populations of thermostatically controlled loads by formal abstractions by Esmaeil Zadeh Soudjani, S, Abate, A
Published 2014Journal article -
3
Verification of general Markov decision processes by approximate similarity relations and policy refinement by Haesaert, S, Soudjani, SE, Abate, A
Published 2017Journal article -
4
-
5
Dynamic Bayesian networks for formal verification of structured stochastic processes by Esmaeil Zadeh Soudjani, S, Abate, A, Majumdar, R
Published 2016Journal article -
6
Safety Verification of Continuous-Space Pure Jump Markov Processes by Esmaeil Zadeh Soudjani, S, Majumdar, R, Abate, A
Published 2016Conference item -
7
-
8
The pseudo-Skolem Problem is decidable by D'Costa, J, Karimov, T, Majumdar, R, Ouaknine, J, Salamati, M, Soudjani, S, Worrell, J
Published 2021Conference item -
9