Mai Kimura

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Motion Planning

Ground Vehicles

Precise Definition

Top Venues

IEEE Trans. Ind. Informatics

Publications

Yonghoon Ji, Yusuke Tanaka, Yusuke Tamura, Mai Kimura, Atsushi Umemura, Yoshiharu Kaneshima, Hiroki Murakami, Atsushi Yamashita, Hajime Asama
Adaptive Motion Planning Based on Vehicle Characteristics and Regulations for Off-Road UGVs. IEEE Trans. Ind. Informatics 15 (1) (2019)
Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. APLAS (2018)