A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems

Metadata only

Autor(in)

Datum

2017

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Herausgeber(in)

Buchtitel

ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

Zeitschrift / Serie

EPiC Series in Computing

Band

44

Seiten / Artikelnummer

134 - 143

Verlag

EPiC Series in Computing

Konferenz

3rd International Workshop on Applied Verification for Continuous and Hybrid Sytems, ARCH16, Vienna, Austria, April 11-14, 2016

Organisationseinheit

09578 - Kamgarpour, Maryam (ehemalig) / Kamgarpour, Maryam (former)
03751 - Lygeros, John / Lygeros, John

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection