Approximate abstractions of stochastic hybrid systems (0)

by A Abate, A D’Innocenzo, M Di Benedetto
Venue:IEEE Transactions on Automatic Control