129 citations · 752 across the 80 of their papers we have counts for
4 papers · 1 filter
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes
Sofie Haesaert, Robert Babuska, Alessandro Abate
This article deals with stochastic processes endowed with the Markov (memoryless) property and evolving over general (uncountable) state spaces. The models further depend on a non-…
Quantitative model-checking of controlled discrete-time Markov processes
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen +1
This paper focuses on optimizing probabilities of events of interest defined over general controlled discrete-time Markov processes. It is shown that the optimization over a wide c…
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach
Majid Zamani, Alessandro Abate, Antoine Girard
Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a f…
FAUST: Formal Abstractions of Uncountable-STate STochastic processes
S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate
FAUST is a software tool that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous) state sp…