Naoki Ueda

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 3

Top Topics

Temporally Extended

Satisfiability Problem

Top Venues

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC (2024)
Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR (2024)
Naoki Ueda, Shoichi Maeyama, Keigo Watanabe
Fence Following by an Autonomous Mobile Robot Including Various Intersections. SMC (2018)
Naoki Ueda, Shinichi Hirai, Hiromi T. Tanaka
Extracting Rheological Properties of Deformable Objects with Haptic Vision. ICRA (2004)
Naoki Ueda, Kiyotaka Kushihama, Shin-iti Hirai, Hiromi T. Tanaka
Extracting Rheological Properties of Deformable Objects with Haptic Vision. ICAT (2003)
Hiromi T. Tanaka, Kiyotaka Kushihama, Naoki Ueda, Shinichi Hirai
A vision-based haptic exploration. ICRA (2003)