Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. - Yosuke Mutsuda; Takaaki Kato; Satoshi Yamane (ICESS, 2005)

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata. - Yosuke Mutsuda; Takaaki Kato; Satoshi Yamane (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)