FAUST${}^2$: Formal Abstractions of Uncountable-STate STochastic processes

S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate

FAUST${}^2$ is a software tool that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous) state sp…