Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

Browse the full CAV paper archive.