%0 Conference Paper %1 conf/iccps/ZhangCRM15 %A Zhang, Xiaodong %A Clark, Matthew A. %A Rattan, Kuldip S. %A Muse, Jonathan %B ICCPS %D 2015 %E Bayen, Alexandre M. %E Branicky, Michael S. %I ACM %K %P 31-40 %T Controller verification in adaptive learning systems towards trusted autonomy. %U http://dblp.uni-trier.de/db/conf/iccps/iccps2015.html#ZhangCRM15 %@ 978-1-4503-3455-6

@inproceedings{conf/iccps/ZhangCRM15, added-at = {2023-12-12T20:42:17.000+0100}, author = {Zhang, Xiaodong and Clark, Matthew A. and Rattan, Kuldip S. and Muse, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/27de0652a9583ceaf640fb43b307f70bb/admin}, booktitle = {ICCPS}, crossref = {conf/iccps/2015}, editor = {Bayen, Alexandre M. and Branicky, Michael S.}, ee = {https://doi.org/10.1145/2735960.2735971}, interhash = {331d0239fc33c979bda77a90c8ebb601}, intrahash = {7de0652a9583ceaf640fb43b307f70bb}, isbn = {978-1-4503-3455-6}, keywords = {}, pages = {31-40}, publisher = {ACM}, timestamp = {2023-12-12T20:42:17.000+0100}, title = {Controller verification in adaptive learning systems towards trusted autonomy.}, url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2015.html#ZhangCRM15}, year = 2015 }