Approximate Model Checking of Stochastic Hybrid Systems

European Journal of Control 2010 / 1 Vol. 16; Iss. 6

Approximate Model Checking of Stochastic Hybrid Systems

Abate, Alessandro, Katoen, Joost-Pieter, Lygeros, John, Prandini, Maria
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
16
Language:
english
Journal:
European Journal of Control
DOI:
10.3166/ejc.16.624-641
Date:
January, 2010
File:
PDF, 1.96 MB
english, 2010
Conversion to is in progress
Conversion to is failed