Toshimitsu Ushio
Osaka University
H-index: 27
Asia-Japan
Top articles of Toshimitsu Ushio
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Bounded synthesis and reinforcement learning of supervisors for stochastic discrete event systems with LTL specifications | IEEE Transactions on Automatic Control | Ryohei Oura Toshimitsu Ushio Ami Sakakibara | 2024/3/13 |
Abstraction-based Safe Control with Alternating Simulation-Based Shields and its Application to Mobile Robots | Masashi Mizoguchi Toshimitsu Ushio | 2024/3/7 | |
Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | Kotaro NAGAE Toshimitsu USHIO | 2023 |
Distributed Traffic Event Detection Mechanism Based on Collective Decision Making | IEICE Technical Report; IEICE Tech. Rep. | Yudai Yamamoto Naomi Kuze Toshimitsu Ushio | 2023/1/3 |
Mission-Aware UAV Deployment for Post-Disaster Scenarios: A Worst-Case SAC-Based Approach | IEEE Transactions on Vehicular Technology | Jingjing Wang Yanjing Sun Bowen Wang Toshimitsu Ushio | 2023/12/21 |
Learning-based black box checking for k-safety hyperproperties | Engineering Applications of Artificial Intelligence | Naomi Kuze Keiichiro Seno Toshimitsu Ushio | 2023/11/1 |
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies | IEEE Access | Koki Kanashima Toshimitsu Ushio | 2023/2/3 |
Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints | IEEE Control Systems Letters | Takuma Kinugawa Toshimitsu Ushio | 2022/3/25 |
Path Planning of Heterogeneous Multi-robot Systems Satisfying a Counting Temporal Logics Constraint | IEICE Technical Report; IEICE Tech. Rep. | Kotaro Nagae Toshimitsu Ushio | 2022/6/9 |
A mobile robot controller using reinforcement learning under scLTL specifications with uncertainties | Asian Journal of Control | Jian Mi Naomi Kuze Toshimitsu Ushio | 2022/11 |
Shield Synthesis for Opacity-Enforcing Planning | IEICE Technical Report; IEICE Tech. Rep. | Koki Kanashima Toshimitsu Ushio | 2022/3/21 |
Optimal control of timed Petri nets under temporal logic constraints with generalized mutual exclusion | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | Kohei Fujita Toshimitsu Ushio | 2022/5/1 |
Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation | IEEE Access | Junya Ikemoto Toshimitsu Ushio | 2022/10/31 |
Potential Game Based Connectivity Preservation for UAV-Assisted Public Safety Rescue | Jingjing Wang Yanjing Sun Bowen Wang Toshimitsu Ushio | 2022/12/14 | |
Evolutionary game-based modeling of decision-making of miners in blockchain | IEICE Technical Report; IEICE Tech. Rep. | Kosuke Toda Naomi Kuze Toshimitsu Ushio | 2022/3/21 |
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications | IEEE Control Systems Letters | Ryohei Oura Toshimitsu Ushio | 2022/4/25 |
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints | IEEE Access | Kohei Fujita Toshimitsu Ushio | 2022/10/19 |
Black box checking of mobile robot path planning satisfying safety hyperproperties | IEICE Proceedings Series | Naomi Kuze Keiichiro Seno Toshimitsu Ushio | 2022/12/12 |
Dynamics of miners' decision making under taxation in blockchain | Nonlinear Theory and Its Applications, IEICE | Kosuke Toda Naomi Kuze Toshimitsu Ushio | 2022 |
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments | ACM Transactions on Cyber-Physical Systems (TCPS) | Kazumune Hashimoto Natsuko Tsumagari Toshimitsu Ushio | 2022/4/11 |