Sadegh Esmaeil Zadeh Soudjani

Available identifiers

zbMath Open esmaeil-zadeh-soudjani.sadeghMaRDI QIDQ523134

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sadegh Esmaeil Zadeh Soudjani