Quantitative approximation of the probability distribution of a Markov process by formal abstractions por Esmaeil Zadeh Soudjani, S, Abate, A

Aggregation and control of populations of thermostatically controlled loads by formal abstractions por Esmaeil Zadeh Soudjani, S, Abate, A

Dynamic Bayesian networks for formal verification of structured stochastic processes por Esmaeil Zadeh Soudjani, S, Abate, A, Majumdar, R

Safety Verification of Continuous-Space Pure Jump Markov Processes por Esmaeil Zadeh Soudjani, S, Majumdar, R, Abate, A