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

Metadata only

Author

Ding, J.

Kamgarpour, Maryam

Summers, S.

Abate, A.

Lygeros, J.

Tomlin, C.

Date

2013

Type

Journal Article

Citations

Cited 12 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

Notes

.

More

Show all metadata

Citations

Cited 12 times in Web of Science

ETH Bibliography

yes

Altmetrics