Sadegh Esmaeil Zadeh Soudjani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The robot routing problem for collecting aggregate stochastic rewards (available as arXiv preprint)	2020-05-27	Paper
Safety verification of continuous-space pure jump Markov processes	2019-09-17	Paper
Multilevel Monte Carlo method for statistical model checking of hybrid systems Quantitative Evaluation of Systems	2019-09-17	Paper
Dynamic Bayesian networks as formal abstractions of structured stochastic processes	2017-09-12	Paper
Verification of general Markov decision processes by approximate similarity relations and policy refinement SIAM Journal on Control and Optimization	2017-08-14	Paper
Controller synthesis for reward collecting Markov processes in continuous space Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes IEEE Transactions on Automatic Control	2017-05-16	Paper
Probabilistic invariance of mixed deterministic-stochastic dynamical systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control	2017-05-16	Paper
Formal Verification of Stochastic Max-Plus-Linear Systems IEEE Transactions on Automatic Control	2017-05-03	Paper
Dynamic Bayesian networks for formal verification of structured stochastic processes Acta Informatica	2017-04-20	Paper
Dynamic Bayesian networks for formal verification of structured stochastic processes Acta Informatica	2017-04-20	Paper
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions Logical Methods in Computer Science	2015-10-29	Paper
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes SIAM Journal on Applied Dynamical Systems	2014-01-22	Paper
Higher-order approximations for verification of stochastic hybrid systems Automated Technology for Verification and Analysis	2012-11-21	Paper

Research outcomes over time

This page was built for person: Sadegh Esmaeil Zadeh Soudjani