Approximate model checking of stochastic hybrid systems

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

Research output: Contribution to journal › Article › Scientific › peer-review

Keywords

@article{178b051cdce94c96a84ab7da2f28634a,

title = "Approximate model checking of stochastic hybrid systems",

keywords = "ZX CWTS JFIS < 1.00",

author = "A Abate and J.P. Katoen and J. Lygeros and M Prandini",

year = "2010",

language = "English",

volume = "6",

pages = "624--641",

journal = "European Journal of Control",

issn = "0947-3580",

publisher = "Lavoisier",

}