Sadegh Esmaeil Zadeh Soudjani

Available identifiers

Publication	Date of Publication	Type
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards	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	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	2017-08-14	Paper
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space	2017-07-11	Paper
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes	2017-05-16	Paper
Probabilistic invariance of mixed deterministic-stochastic dynamical systems	2017-05-16	Paper
Formal Verification of Stochastic Max-Plus-Linear Systems	2017-05-03	Paper
Dynamic Bayesian networks for formal verification of structured stochastic processes	2017-04-20	Paper
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions	2015-10-29	Paper
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes	2014-01-22	Paper
Higher-Order Approximations for Verification of Stochastic Hybrid Systems	2012-11-21	Paper

This page was built for person: Sadegh Esmaeil Zadeh Soudjani