%0 Conference Paper %1 conf/aspdac/0002HJLLLWWX21 %A Zhu, Qi %A Huang, Chao %A Jiao, Ruochen %A Lan, Shuyue %A Liang, Hengyi %A Liu, Xiangguo %A Wang, Yixuan %A Wang, Zhilu %A Xu, Shichao %B ASP-DAC %D 2021 %I ACM %K dblp %P 753-760 %T Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2021.html#0002HJLLLWWX21 %@ 978-1-4503-7999-1

@inproceedings{conf/aspdac/0002HJLLLWWX21, added-at = {2023-08-15T00:00:00.000+0200}, author = {Zhu, Qi and Huang, Chao and Jiao, Ruochen and Lan, Shuyue and Liang, Hengyi and Liu, Xiangguo and Wang, Yixuan and Wang, Zhilu and Xu, Shichao}, biburl = {https://www.bibsonomy.org/bibtex/2813ca4af1e803654df23d02c4d3f8369/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2021}, ee = {https://doi.org/10.1145/3394885.3431623}, interhash = {745e0dda7cc4b3dcf32b921dc8373c61}, intrahash = {813ca4af1e803654df23d02c4d3f8369}, isbn = {978-1-4503-7999-1}, keywords = {dblp}, pages = {753-760}, publisher = {ACM}, timestamp = {2024-04-09T13:33:01.000+0200}, title = {Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2021.html#0002HJLLLWWX21}, year = 2021 }