Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Approximate model checking of stochastic hybrid systems

Author(s):

A. Abate, J.-P. Katoen, J. Lygeros, M. Prandini
Conference/Journal:

European Journal of Control, vol. 16, pp. 624641
Abstract:



Year:

2010
Type of Publication:

(01)Article
Supervisor:



No Files for download available.
% Autogenerated BibTeX entry
@Article { AbaEtal:2010:IFA_3711,
    author={A. Abate and J.-P. Katoen and J. Lygeros and M. Prandini},
    title={{Approximate model checking of stochastic hybrid systems}},
    journal={European Journal of Control},
    year={2010},
    volume={16},
    number={},
    pages={624641},
    month=dec,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=3711}
}
Permanent link