Mai Kimura

According to our database, Mai Kimura authored at least 2 papers between 2018 and 2019.

Collaborative distances:

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

2019

Adaptive Motion Planning Based on Vehicle Characteristics and Regulations for Off-Road UGVs.

Yonghoon Ji, Yusuke Tanaka, Yusuke Tamura, Mai Kimura, Atsushi Umemura, Yoshiharu Kaneshima, Hiroki Murakami, Atsushi Yamashita, Hajime Asama

IEEE Trans. Ind. Informatics, 2019

2018

Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General.

Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018