%0 Journal Article %1 journals/csysl/GilpinKL21 %A Gilpin, Yann %A Kurtz, Vince %A Lin, Hai %D 2021 %J IEEE Control. Syst. Lett. %K dblp %N 1 %P 241-246 %T A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. %U http://dblp.uni-trier.de/db/journals/csysl/csysl5.html#GilpinKL21 %V 5

@article{journals/csysl/GilpinKL21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Gilpin, Yann and Kurtz, Vince and Lin, Hai}, biburl = {https://www.bibsonomy.org/bibtex/2b9cffea555addbb146a5a661773e98b1/dblp}, ee = {https://doi.org/10.1109/LCSYS.2020.3001875}, interhash = {a95a71ee3a2d43d723f4ad5ed89feb1b}, intrahash = {b9cffea555addbb146a5a661773e98b1}, journal = {IEEE Control. Syst. Lett.}, keywords = {dblp}, number = 1, pages = {241-246}, timestamp = {2024-04-08T09:36:53.000+0200}, title = {A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control.}, url = {http://dblp.uni-trier.de/db/journals/csysl/csysl5.html#GilpinKL21}, volume = 5, year = 2021 }