The following pages link to Sadegh Esmaeil Zadeh Soudjani (Q523134):
Displaying 13 items.
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Safety verification of continuous-space pure jump Markov processes (Q2272916) (← links)
- Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes (Q2871352) (← links)
- Formal Verification of Stochastic Max-Plus-Linear Systems (Q2980331) (← links)
- Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes (Q2983282) (← links)
- Probabilistic invariance of mixed deterministic-stochastic dynamical systems (Q2986768) (← links)
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions (Q3196339) (← links)
- Higher-Order Approximations for Verification of Stochastic Hybrid Systems (Q4649312) (← links)
- The Robot Routing Problem for Collecting Aggregate Stochastic Rewards (Q5111626) (← links)
- Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems (Q5194936) (← links)
- Controller Synthesis for Reward Collecting Markov Processes in Continuous Space (Q5275318) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes (Q5357702) (← links)
