@收款{zbMATH07317098，作者={Kempa、Brian和Zhang、Pei和Jones、Phillip H.和Zambreno、Joseph和Rozier、Kristin Yvonne}，Title={嵌入在线运行时验证以消除{Robonaut2}}上的错误歧义，BookTitle={时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼}，国际标准图书编号={978-3-030-57627-1；978-3-0.30-57628-8}，页码={196--214}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-57628-8_12}，关键词={68Qxx}，URL={lib.dr.iastate.edu/cgi/viewcontent.cgi？article=1062&context=aere_conf}，zbMATH={7317098}}