Approximate model checking of stochastic hybrid systems
Reference
Abate, A., Katoen, J.-P., Lygeros, J. and Prandini, M. (2010) ‘Approximate model checking of stochastic hybrid systems’, European Journal of Control, 16(6), pp. 624–641.
Full text available at www.sciencedirect.com
Author
![]() | Prof. Alessandro Abate |