Yosuke Mutsuda

According to our database, Yosuke Mutsuda authored at least 2 papers in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata.

Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata.

Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane

Proceedings of the Embedded Software and Systems, Second International Conference, 2005