Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Susmit Jha, Sunny Raj, Sumit Kumar Jha 0001, Natarajan Shankar. Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. In David N. Jansen, Pavithra Prabhakar, editors, Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. Volume 11022 of Lecture Notes in Computer Science, pages 235-251, Springer, 2018. [doi]

This author has not been identified. Look up 'Susmit Jha' in GoogleThis author has not been identified. Look up 'Sunny Raj' in GoogleThis author has not been identified. Look up 'Sumit Kumar Jha 0001' in GoogleThis author has not been identified. Look up 'Natarajan Shankar' in Google

runs on WebDSL