A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
From MaRDI portal
Publication:5033810
DOI10.1109/TAC.2020.3035467OpenAlexW3094947075MaRDI QIDQ5033810
Jorge Cortés, Paul Glotfelter, Magnus B. Egerstedt
Publication date: 24 February 2022
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2020.3035467