Duality-based nested controller synthesis from STL specifications for stochastic linear systems

DOI10.1007/978-3-030-00151-3_14OpenAlexW2888506222MaRDI QIDQ1631235

Sunny Raj, Natarajan Shankar, Sumit Kumar Jha, Susmit Jha

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_14

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Duality-based nested controller synthesis from STL specifications for stochastic linear systems