A stochastic games framework for verification and control of discrete time stochastic hybrid systems - Research Collection

Metadata only

Author

Kamgarpour, Maryam

Abate, Alessandro

Date

2013-09

Type

Journal Article

Citations

Cited 27 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/j.automatica.2013.05.025

Journal / series

Automatica

Volume

49(9)

Pages / Article No.

2665 - 2674

Publisher

Elsevier

Subject

Hybrid systems; Stochastic systems; Dynamic games; Controller synthesis; Reachability

Organisational unit

03751 - Lygeros, John / Lygeros, John

More

Show all metadata

Citations

Cited 27 times in Web of Science

ETH Bibliography

yes

Altmetrics