发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Abstraction, discretization, and robustness in temporal logic control of dynamical systems

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Abstraction, discretization, and robustness in temporal logic control of dynamical systems

Liu, Jun; Ozay, Necmiye

作者Liu, Jun; Ozay, Necmiye
文件大小2026.26KB
发表时间2014
DOI10.1145/2562059.2562137
页码293-302

← 返回【学霸图书馆】主页