129 citations · 752 across the 80 of their papers we have counts for
Showing 2014 · eess.SYShow all
2 papers · 2 filters
eess.SY2014★ 3 cited
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-…
eess.SY2014★ 59 cited
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…