Approximate model checking of stochastic hybrid systems

A Abate, J.P. Katoen, J. Lygeros, M Prandini

Research output: Contribution to journalArticleScientificpeer-review

110 Citations (Scopus)
Original languageEnglish
Pages (from-to)624-641
Number of pages18
JournalEuropean Journal of Control
Volume6
Publication statusPublished - 2010

Keywords

  • ZX CWTS JFIS < 1.00

Cite this