Login / Signup
Natsuko Tsumagari
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Model Checker
Uncertain Environments
Aerial Vehicles
Robot Path Planning
Top Venues
CoRR
ACM Trans. Cyber Phys. Syst.
</>
Publications
</>
Kazumune Hashimoto
,
Natsuko Tsumagari
,
Toshimitsu Ushio
Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments.
ACM Trans. Cyber Phys. Syst.
6 (2) (2022)
Kazumune Hashimoto
,
Natsuko Tsumagari
,
Toshimitsu Ushio
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments.
CoRR
(2021)