%0 Journal Article %1 journals/tac/GlotfelterCE21 %A Glotfelter, Paul %A Cortés, Jorge %A Egerstedt, Magnus %D 2021 %J IEEE Trans. Autom. Control. %K dblp %N 11 %P 5160-5174 %T A Nonsmooth Approach to Controller Synthesis for Boolean Specifications. %U http://dblp.uni-trier.de/db/journals/tac/tac66.html#GlotfelterCE21 %V 66

@article{journals/tac/GlotfelterCE21, added-at = {2022-09-30T00:00:00.000+0200}, author = {Glotfelter, Paul and Cortés, Jorge and Egerstedt, Magnus}, biburl = {https://www.bibsonomy.org/bibtex/2a3312e9d664e3174ae701f18c85ca931/dblp}, ee = {https://doi.org/10.1109/TAC.2020.3035467}, interhash = {8109f23d2c8b06603c55fd91c68ebe68}, intrahash = {a3312e9d664e3174ae701f18c85ca931}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 11, pages = {5160-5174}, timestamp = {2024-04-08T17:30:47.000+0200}, title = {A Nonsmooth Approach to Controller Synthesis for Boolean Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac66.html#GlotfelterCE21}, volume = 66, year = 2021 }