Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane. Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. In Laurence Tianruo Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin, editors, Embedded Software and Systems, Second International Conference, ICESS 2005, Xi an, China, December 16-18, 2005, Proceedings. Volume 3820 of Lecture Notes in Computer Science, pages 346-360, Springer, 2005. [doi]
Abstract is missing.