Development of Model Checker of Dynamic Linear Hybrid Automata. - Ryo Yanase; Tatsunori Sakai; Makoto Sakai; Satoshi Yamane (COMPSAC, 2013)

Formal verification of dynamically reconfigurable systems. - Ryo Yanase; Tatsunori Sakai; Makoto Sakai; Satoshi Yamane (GCCE, 2015)

A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. - Ryo Yanase; Tatsunori Sakai; Makoto Sakai; Satoshi Yamane (ICFEM, 2016)

Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata. - Ryo Yanase (ICST, 2017)

Mono-camera based localization using digital map. - Keisuke Yoneda; Ryo Yanase; Mohammad Aldibaja; Naoki Suganuma; Kei Sato (IECON, 2017)

Digital Map Based Signal State Recognition of Far Traffic Lights with Low Brightness. - Akisue Kuramoto; Junya Kameyama; Ryo Yanase; Mohammad Aldibaja; Keisuke Yoneda; Naoki Suganuma (IECON, 2018)

Mono-Camera based 3D Object Tracking Strategy for Autonomous Vehicles. - Akisue Kuramoto; Mohammad A. Aldibaja; Ryo Yanase; Junya Kameyama; Keisuke Yoneda; Naoki Suganuma (Intelligent Vehicles Symposium, 2018)

LIDAR Based Altitude Estimation for Autonomous Vehicles using Elevation Maps. - Ryo Yanase; Mohammad Aldibaja; Akisue Kuramoto; Tae Hyon Kim; Keisuke Yoneda; Naoki Suganuma (Intelligent Vehicles Symposium, 2018)

Trajectory optimization and state selection for urban automated driving. - Keisuke Yoneda; Toshiki Iida; Tae Hyon Kim; Ryo Yanase; Mohammad Aldibaja; Naoki Suganuma (Artif. Life Robotics, 2018)

Accurate Elevation Maps based Graph-Slam Framework for Autonomous Driving. - Mohammad Aldibaja; Ryo Yanase; Tae Hyon Kim; Akisue Kuramoto; Keisuke Yoneda; Noaki Suganuma (IV, 2019)

Mono-camera based vehicle localization using lidar intensity map for automated driving. - Keisuke Yoneda; Ryo Yanase; Mohammad Aldibaja; Naoki Suganuma; Kei Sato (Artif. Life Robotics, 2019)

Loop-Closure and Map-Combiner Detection Strategy based on LIDAR Reflectance and Elevation Maps. - Mohammad Aldibaja; Naoki Suganuma; Ryo Yanase; Lu Cao; Keisuke Yoneda; Akisue Kuramoto (ITSC, 2020)

Mono-Camera-Based Robust Self-Localization Using LIDAR Intensity Map. - Kei Sato; Keisuke Yoneda; Ryo Yanase; Naoki Suganuma (J. Robotics Mechatronics, 2020)

Robust Traffic Light and Arrow Detection Using Digital Map with Spatial Prior Information for Automated Driving. - Keisuke Yoneda; Akisue Kuramoto; Naoki Suganuma; Toru Asaka; Mohammad Aldibaja; Ryo Yanase (Sensors, 2020)

Improving Lateral Autonomous Driving in Snow-Wet Environments Based on Road-Mark Reconstruction Using Principal Component Analysis. - Mohammad Aldibaja; Ryo Yanase; Akisue Kuramoto; Tae Hyon Kim; Keisuke Yoneda; Naoki Suganuma (IEEE Intell. Transp. Syst. Mag., 2021)

On LIDAR Map Combination: A Graph Slam Module to Generate Accurate and Largescale Maps for Autonomous Driving. - Mohammad Aldibaja; Naoki Suganuma; Ryo Yanase; Keisuke Yoneda; Lu Cao (AIM, 2022)

2.5D Layered Sub-Image LIDAR Maps for Autonomous Driving in Multilevel Environments. - Mohammad Aldibaja; Naoki Suganuma; Ryo Yanase (Remote. Sens., 2022)

Challenging Environments for Precise Mapping Using GNSS/INS-RTK Systems: Reasons and Analysis. - Mohammad Aldibaja; Naoki Suganuma; Keisuke Yoneda; Ryo Yanase (Remote. Sens., 2022)

LiDAR- and Radar-Based Robust Vehicle Localization with Confidence Estimation of Matching Results. - Ryo Yanase; Daichi Hirano; Mohammad Aldibaja; Keisuke Yoneda; Naoki Suganuma (Sensors, 2022)

ExistenceMap-PointPillars: A Multi-Fusion Network for Stable 3D Object Detection with Pseudo 2D Maps. - Keigo Hariya; Hiroki Inoshita; Keisuke Yoneda; Ryo Yanase; Kota Ishii; Naoki Suganuma (IV, 2023)

ExistenceMap-PointPillars: A Multifusion Network for Robust 3D Object Detection with Object Existence Probability Map. - Keigo Hariya; Hiroki Inoshita; Ryo Yanase; Keisuke Yoneda; Naoki Suganuma (Sensors, 2023)

Fast 3D Object Detection for 4D Imaging Radar integrating Image Map features using Semi-supervised Learning. - Keisuke Yoneda; Ranju Shiraki; Keigo Hariya; Hiroki Inoshita; Ryo Yanase; Naoki Suganuma (IV, 2024)

Waypoint Transfer Module between Autonomous Driving Maps Based on LiDAR Directional Sub-Images. - Mohammad Aldibaja; Ryo Yanase; Naoki Suganuma (Sensors, 2024)

Development of an automated method for extracting reflectance maps of road marking areas by camera-LiDAR fusion*. - Akisue Kuramoto; Ryo Yanase; Keisuke Yoneda; Naoki Suganuma (SII, 2025)