Approximate Model Checking of Stochastic Hybrid Systems - Research Collection

Metadata only

Author

Abate, A.

Katoen, J.P.

Lygeros, John

Prandini, M.

Date

2010

Type

Journal Article

Citations

Cited 49 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.3166/ejc.16.624-641

Journal / series

European Journal of Control

Volume

16(6)

Pages / Article No.

624 - 641

Publisher

Springer

Subject

Stochastic Hybrid Systems; Model Checking; Probabilistic Invariance

Organisational unit

03751 - Lygeros, John / Lygeros, John

Notes

Received 5 May 2009, Accepted 18 February 2010.

More

Show all metadata

Citations

Cited 49 times in Web of Science

ETH Bibliography

yes

Altmetrics