Signal temporal logic-based neural network for driving task generation in Advanced Driver Assistance Systems.

Kazumune Hashimoto https://orcid.org/0000-0002-9376-5760 https://www.wikidata.org/entity/Q130836256

Kazumune Hashimoto Yusuke Yokokawa Norika Arai Xun Shen Xingguo Zhang Pongsathorn Raksincharoensak Signal temporal logic-based neural network for driving task generation in Advanced Driver Assistance Systems. 2026 114164 170 Eng. Appl. Artif. Intell. https://doi.org/10.1016/j.engappai.2026.114164 db/journals/eaai/eaai170.html#HashimotoYASZR26 streams/journals/eaai

Yuyue Yan Maojiao Ye Yuhu Wu Kazumune Hashimoto Social Welfare Maximization in Noncooperative Dynamical Systems With Privacy-Preserving Incentive Mechanism. 2026 March 1785-1800 71 IEEE Trans. Autom. Control. 3 https://doi.org/10.1109/TAC.2025.3617313 db/journals/tac/tac71.html#YanYWH26 streams/journals/tac

Kazumune Hashimoto Kazunobu Serizawa Masako Kishida Receding-Horizon Maximum-Likelihood Estimation of Neural-ODE Dynamics and Thresholds from Event Cameras. 2026 March abs/2603.05011 CoRR https://doi.org/10.48550/arXiv.2603.05011 db/journals/corr/corr2603.html#abs-2603-05011 streams/journals/corr

Kosei Fushimi Kazunobu Serizawa Junya Ikemoto Kazumune Hashimoto Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic. 2026 March abs/2603.28426 CoRR https://doi.org/10.48550/arXiv.2603.28426 db/journals/corr/corr2603.html#abs-2603-28426 streams/journals/corr

Kazumune Hashimoto Shunki Kimura Kazunobu Serizawa Junya Ikemoto Yulong Gao Kai Cai Data-Driven Synthesis of Probabilistic Controlled Invariant Sets for Linear MDPs. 2026 April abs/2604.02727 CoRR https://doi.org/10.48550/arXiv.2604.02727 db/journals/corr/corr2604.html#abs-2604-02727 streams/journals/corr

Junya Ikemoto Satoshi Maruyama Kazumune Hashimoto Application of Deep Reinforcement Learning to Event-Triggered Control for Networked Artificial Pancreas Systems. 2026 April abs/2604.26126 CoRR https://doi.org/10.48550/arXiv.2604.26126 db/journals/corr/corr2604.html#abs-2604-26126 streams/journals/corr

Kazunobu Serizawa Katsuhiro Temma Kazuto Yano Abolfazl Mehbodniya Julian L. Webber Toshikazu Sakano Kazumune Hashimoto Link Availability Prediction Framework for Sub-Terahertz Wireless LANs Based on Multi-Band Propagation Information. 168821-168838 2025 13 IEEE Access https://doi.org/10.1109/ACCESS.2025.3611524 db/journals/access/access13.html#SerizawaTYMWSH25 streams/journals/access

Xun Shen Ye Wang Kazumune Hashimoto Yuhu Wu Sebastien Gros Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties. 112237 2025 176 Autom. https://doi.org/10.1016/j.automatica.2025.112237 db/journals/automatica/automatica176.html#ShenWHWG25 streams/journals/automatica

Yoshinari Takayama Kazumune Hashimoto Toshiyuki Ohtsuka STLCCP: Efficient Convex Optimization-Based Framework for Signal Temporal Logic Specifications. 6064-6079 2025 September 70 IEEE Trans. Autom. Control. 9 https://doi.org/10.1109/TAC.2025.3555949 db/journals/tac/tac70.html#TakayamaHO25 streams/journals/tac

Kazumune Hashimoto Yuga Onoue Akifumi Wachi Xun Shen Learning-Based Event-Triggered MPC With Gaussian Processes Under Terminal Constraints. 1512-1525 2025 April 55 IEEE Trans. Cybern. 4 https://doi.org/10.1109/TCYB.2025.3536606 db/journals/tcyb/tcyb55.html#HashimotoOWS25 streams/journals/tcyb

Xun Shen Tinghui Ouyang Kazumune Hashimoto Yuhu Wu Sample-Based Continuous Approximate Method for Constructing Interval Neural Network. 5974-5987 2025 April 36 IEEE Trans. Neural Networks Learn. Syst. 4 https://doi.org/10.1109/TNNLS.2024.3409379 db/journals/tnn/tnn36.html#ShenOHW25 streams/journals/tnn

Taiwei Li Norika Arai Xun Shen Kazumune Hashimoto Kai Cai Xingguo Zhang Ye Wang Pongsathorn Raksincharoensak Shigemasa Takai Predicting Pedestrian Confidence Regions by Distributional Robust Optimization: Incorporating Parameter and Distributional Uncertainty in the Social Force Model. 742-747 2025 CCTA https://doi.org/10.1109/CCTA53793.2025.11151284 conf/ccta/2025 db/conf/ccta/ccta2025.html#LiASHCZWRT25 streams/conf/ccta

Kazunobu Serizawa Kazumune Hashimoto Wataru Hashimoto 0001 Masako Kishida Shigemasa Takai Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications. 2025 April abs/2504.19846 CoRR https://doi.org/10.48550/arXiv.2504.19846 db/journals/corr/corr2504.html#abs-2504-19846 streams/journals/corr

Wataru Hashimoto 0001 Kazumune Hashimoto Masako Kishida Shigemasa Takai Reference-Free Iterative Learning Model Predictive Control with Neural Certificates. 2025 July abs/2507.14025 CoRR https://doi.org/10.48550/arXiv.2507.14025 db/journals/corr/corr2507.html#abs-2507-14025 streams/journals/corr

Wataru Hashimoto 0001 Kazumune Hashimoto MM-LMPC: Multi-Modal Learning Model Predictive Control via Bandit-Based Mode Selection. 2025 October abs/2510.00410 CoRR https://doi.org/10.48550/arXiv.2510.00410 db/journals/corr/corr2510.html#abs-2510-00410 streams/journals/corr

Sekitoshi Kanai Tsukasa Yoshida Hiroshi Takahashi Haru Kuroki Kazumune Hashimoto Test-Time Alignment of LLMs via Sampling-Based Optimal Control in pre-logit space. 2025 October abs/2510.26219 CoRR https://doi.org/10.48550/arXiv.2510.26219 db/journals/corr/corr2510.html#abs-2510-26219 streams/journals/corr

Zhijun Wang Kazumune Hashimoto Wataru Hashimoto 0001 Shigemasa Takai A lifting approach to learning-based self-triggered control with Gaussian processes. 410-420 2024 March 38 Adv. Robotics 6 https://doi.org/10.1080/01691864.2023.2301430 https://www.wikidata.org/entity/Q129827088 db/journals/ar/ar38.html#WangHHT24

Wataru Hashimoto 0001 Kazumune Hashimoto Akifumi Wachi Xun Shen Masako Kishida Shigemasa Takai Data-efficient safe learning and control with on-board sensors: Bayesian meta-learning and barrier function based approach. 1501-1514 2024 November 38 Adv. Robotics 21 https://doi.org/10.1080/01691864.2024.2401897 db/journals/ar/ar38.html#HashimotoHWSKT24 streams/journals/ar

Kazumune Hashimoto Periodic event-triggered controller design with Bayesian optimization: An emulation-based approach. 100268 2024 29 IFAC J. Syst. Control. https://doi.org/10.1016/j.ifacsc.2024.100268 db/journals/ifacjsc/ifacjsc29.html#Hashimoto24 streams/journals/ifacjsc

Sagar V. Patil Kazumune Hashimoto Masako Kishida A Robust Traffic Flow Control Using Connected Vehicle Technology: Signal Spatio-Temporal Logic-Based Approach. 19658-19674 2024 December 25 IEEE Trans. Intell. Transp. Syst. 12 https://doi.org/10.1109/TITS.2024.3459389 db/journals/tits/tits25.html#PatilHK24 streams/journals/tits

Akifumi Wachi Wataru Hashimoto 0001 Kazumune Hashimoto Long-Term Safe Reinforcement Learning with Binary Feedback. 21656-21663 2024 AAAI https://doi.org/10.1609/aaai.v38i19.30164 conf/aaai/2024 db/conf/aaai/aaai2024.html#WachiHH24 Xun Shen Akifumi Wachi Wataru Hashimoto 0001 Kazumune Hashimoto Shigemasa Takai Safe Reinforcement Learning Using Model Predictive Control with Probabilistic Control Barrier Function. 74-79 2024 ACC https://doi.org/10.23919/ACC60939.2024.10644734 conf/amcc/2024 db/conf/amcc/acc2024.html#ShenWHHT24 streams/conf/amcc Yuyue Yan Maojiao Ye Kazumune Hashimoto Yuhu Wu He Kong Incentive Design in Noncooperative Dynamical Systems for Social Welfare Maximization Using Limited Payoff Information. 5280-5285 2024 CDC https://doi.org/10.1109/CDC56724.2024.10886358 conf/cdc/2024 db/conf/cdc/cdc2024.html#YanYHWK24 Xun Shen Shuo Jiang Akifumi Wachi Kazumune Hashimoto Sebastien Gros Flipping-based Policy for Chance-Constrained Markov Decision Processes. 2024 NeurIPS http://papers.nips.cc/paper_files/paper/2024/hash/760b5def8dcb1156aac454e9c0f5f406-Abstract-Conference.html conf/nips/2024 db/conf/nips/neurips2024.html#ShenJWHG24

Akifumi Wachi Wataru Hashimoto 0001 Kazumune Hashimoto Long-term Safe Reinforcement Learning with Binary Feedback. 2024 abs/2401.03786 CoRR https://doi.org/10.48550/arXiv.2401.03786 db/journals/corr/corr2401.html#abs-2401-03786

Xun Shen Ye Wang Kazumune Hashimoto Yuhu Wu Sebastien Gros Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties. 2024 abs/2403.12379 CoRR https://doi.org/10.48550/arXiv.2403.12379 db/journals/corr/corr2403.html#abs-2403-12379

Xun Shen Shuo Jiang Akifumi Wachi Kazumune Hashimoto Sebastien Gros Flipping-based Policy for Chance-Constrained Markov Decision Processes. 2024 abs/2410.06474 CoRR https://doi.org/10.48550/arXiv.2410.06474 db/journals/corr/corr2410.html#abs-2410-06474 streams/journals/corr

Yoshinari Takayama Kazumune Hashimoto Toshiyuki Ohtsuka Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications. 6855-6862 2023 CDC https://doi.org/10.1109/CDC49753.2023.10383605 conf/cdc/2023 db/conf/cdc/cdc2023.html#TakayamaHO23 Sagar V. Patil Kazumune Hashimoto Masako Kishida Robust Traffic Flow Control using Signal Spatio-Temporal Logic. 1-8 2023 ECC https://doi.org/10.23919/ECC57647.2023.10178127 conf/eucc/2023 db/conf/eucc/eucc2023.html#PatilHK23 Akifumi Wachi Wataru Hashimoto 0001 Xun Shen Kazumune Hashimoto Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms. 2023 NeurIPS http://papers.nips.cc/paper_files/paper/2023/hash/5d4cd12ef6efedbf26b69b410f1f7d67-Abstract-Conference.html conf/nips/2023 db/conf/nips/neurips2023.html#WachiHSH23

Yoshinari Takayama Kazumune Hashimoto Toshiyuki Ohtsuka STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications. 2023 abs/2305.09441 CoRR https://doi.org/10.48550/arXiv.2305.09441 db/journals/corr/corr2305.html#abs-2305-09441

Wataru Hashimoto 0001 Kazumune Hashimoto Akifumi Wachi Xun Shen Masako Kishida Shigemasa Takai Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors. 2023 abs/2308.05306 CoRR https://doi.org/10.48550/arXiv.2308.05306 db/journals/corr/corr2308.html#abs-2308-05306

Akifumi Wachi Wataru Hashimoto 0001 Xun Shen Kazumune Hashimoto Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms. 2023 abs/2310.03225 CoRR https://doi.org/10.48550/arXiv.2310.03225 db/journals/corr/corr2310.html#abs-2310-03225

Lichen Ding Kazumune Hashimoto Shigemasa Takai Synthesis of Event-triggered Controllers for SIRS Epidemic Models. 2023 abs/2310.09480 CoRR https://doi.org/10.48550/arXiv.2310.09480 db/journals/corr/corr2310.html#abs-2310-09480

Kazumune Hashimoto Adnane Saoud Masako Kishida Toshimitsu Ushio Dimos V. Dimarogonas Learning-based symbolic abstractions for nonlinear control systems. 110646 2022 146 Autom. https://doi.org/10.1016/j.automatica.2022.110646 db/journals/automatica/automatica146.html#HashimotoSKUD22

Wataru Hashimoto 0001 Kazumune Hashimoto Shigemasa Takai STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks. 5246-5253 2022 7 IEEE Robotics Autom. Lett. 2 https://doi.org/10.1109/LRA.2022.3155197 db/journals/ral/ral7.html#HashimotoHT22

Kazumune Hashimoto Natsuko Tsumagari Toshimitsu Ushio Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments. 11:1-11:24 2022 6 ACM Trans. Cyber Phys. Syst. 2 https://doi.org/10.1145/3470453 https://www.wikidata.org/entity/Q130836257 db/journals/tcps/tcps6.html#HashimotoTU22

Sagar V. Patil Kazumune Hashimoto Masako Kishida Traffic Flow Control at Signalized Intersections using Signal Spatio-Temporal Logic. 1051-1058 2022 CDC https://doi.org/10.1109/CDC51059.2022.9993289 conf/cdc/2022 db/conf/cdc/cdc2022.html#PatilHK22 Wataru Hashimoto 0001 Kazumune Hashimoto Yuga Onoue Shigemasa Takai Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression. 1554-1559 2022 ECC https://doi.org/10.23919/ECC55457.2022.9838236 conf/eucc/2022 db/conf/eucc/eucc2022.html#HashimotoHOT22

Zhijun Wang Kazumune Hashimoto Wataru Hashimoto 0001 Shigemasa Takai A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes. 2022 abs/2202.10174 CoRR https://arxiv.org/abs/2202.10174 db/journals/corr/corr2202.html#abs-2202-10174

Wataru Hashimoto 0001 Kazumune Hashimoto Masako Kishida Shigemasa Takai Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks. 2022 abs/2212.05200 CoRR https://doi.org/10.48550/arXiv.2212.05200 db/journals/corr/corr2212.html#abs-2212-05200

Kazumune Hashimoto Yuga Onoue Masaki Ogura 0001 Toshimitsu Ushio Event-triggered control for mitigating SIS spreading processes. 479-494 2021 52 Annu. Rev. Control. https://doi.org/10.1016/j.arcontrol.2021.08.001 db/journals/arc/arc52.html#HashimotoOOU21

Kazumune Hashimoto Masako Kishida Yuichi Yoshimura Toshimitsu Ushio A Bayesian Optimization Approach to Decentralized Event-Triggered Control. 447-454 2021 104-A IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 2 http://search.ieice.org/bin/summary.php?id=e104-a_2_447 db/journals/ieiceta/ieiceta104.html#HashimotoKYU21

Kazumune Hashimoto Yuichi Yoshimura Toshimitsu Ushio Learning Self-Triggered Controllers With Gaussian Processes. 6294-6304 2021 51 IEEE Trans. Cybern. 12 https://doi.org/10.1109/TCYB.2020.2980048 https://www.wikidata.org/entity/Q91570728 db/journals/tcyb/tcyb51.html#HashimotoYU21

Kazumune Hashimoto Natsuko Tsumagari Toshimitsu Ushio Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments. 2021 abs/2107.09303 CoRR https://arxiv.org/abs/2107.09303 db/journals/corr/corr2107.html#abs-2107-09303

Wataru Hashimoto 0001 Kazumune Hashimoto Shigemasa Takai STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks. 2021 abs/2109.04636 CoRR https://arxiv.org/abs/2109.04636 db/journals/corr/corr2109.html#abs-2109-04636

Kazumune Hashimoto Dimos V. Dimarogonas Synthesizing Communication Plans for Reachability and Safety Specifications. 561-576 2020 65 IEEE Trans. Autom. Control. 2 https://doi.org/10.1109/TAC.2019.2910947 https://www.wikidata.org/entity/Q127862504 db/journals/tac/tac65.html#HashimotoD20

Kazumune Hashimoto Michelle S. Chong Dimos V. Dimarogonas Distributed $\ell _1$-State-and-Fault Estimation for Multiagent Systems. 699-710 2020 7 IEEE Trans. Control. Netw. Syst. 2 https://doi.org/10.1109/TCNS.2019.2939660 db/journals/tcns/tcns7.html#HashimotoCD20

Kazumune Hashimoto Safe and active parameter exploration for event-triggered control. 19-24 2020 ICCA https://doi.org/10.1109/ICCA51439.2020.9264438 conf/icca/2020 db/conf/icca/icca2020.html#Hashimoto20

Kazumune Hashimoto Adnane Saoud Masako Kishida Toshimitsu Ushio Dimos V. Dimarogonas Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. 2020 abs/2004.01879 CoRR https://arxiv.org/abs/2004.01879 db/journals/corr/corr2004.html#abs-2004-01879

Kazumune Hashimoto Adnane Saoud Masako Kishida Toshimitsu Ushio Dimos V. Dimarogonas A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. 1050-1055 2019 3 IEEE Control. Syst. Lett. 4 https://doi.org/10.1109/LCSYS.2019.2921616 db/journals/csysl/csysl3.html#HashimotoSKUD19

Kazumune Hashimoto Dimos V. Dimarogonas Resource-aware networked control systems under temporal logic specifications. 473-499 2019 29 Discret. Event Dyn. Syst. 4 https://doi.org/10.1007/s10626-019-00297-7 https://www.wikidata.org/entity/Q126785508 db/journals/deds/deds29.html#HashimotoD19

Kazumune Hashimoto Michelle Chong Dimos V. Dimarogonas Realtime l1-fault-and-state estimation for multi-agent systems. 1175-1180 2019 ACC https://doi.org/10.23919/ACC.2019.8815068 conf/amcc/2019 db/conf/amcc/acc2019.html#HashimotoCD19

Kazumune Hashimoto Yuichi Yoshimura Toshimitsu Ushio Learning self-triggered controllers with Gaussian processes. 2019 abs/1909.00178 CoRR http://arxiv.org/abs/1909.00178 db/journals/corr/corr1909.html#abs-1909-00178

Takuma Kinugawa Kazumune Hashimoto Toshimitsu Ushio Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. 2019 abs/1912.02513 CoRR http://arxiv.org/abs/1912.02513 db/journals/corr/corr1912.html#abs-1912-02513

Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach. 3523-3530 2018 63 IEEE Trans. Autom. Control. 10 https://doi.org/10.1109/TAC.2018.2798802 db/journals/tac/tac63.html#HashimotoAD18

Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Energy-aware networked control systems under temporal logic specifications. 132-139 2018 CDC https://doi.org/10.1109/CDC.2018.8618893 conf/cdc/2018 db/conf/cdc/cdc2018.html#HashimotoAD18

Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Event-triggered intermittent sampling for nonlinear model predictive control. 148-155 2017 81 Autom. https://doi.org/10.1016/j.automatica.2017.03.028 db/journals/automatica/automatica81.html#HashimotoAD17

Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection. 177-189 2017 62 IEEE Trans. Autom. Control. 1 https://doi.org/10.1109/TAC.2016.2537741 db/journals/tac/tac62.html#HashimotoAD17

Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Self-triggered control for constrained systems: A contractive set-based approach. 1011-1016 2017 ACC https://doi.org/10.23919/ACC.2017.7963085 conf/amcc/2017 db/conf/amcc/acc2017.html#HashimotoAD17 Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Robust safety controller synthesis using tubes. 535-541 2017 CDC https://doi.org/10.1109/CDC.2017.8263718 conf/cdc/2017 db/conf/cdc/cdc2017.html#HashimotoAD17 Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Self-triggered Model Predictive Control for continuous-time systems: A multiple discretizations approach. 3078-3083 2016 CDC https://doi.org/10.1109/CDC.2016.7798730 conf/cdc/2016 db/conf/cdc/cdc2016.html#HashimotoAD16 Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Self-triggered nonlinear model predictive control for networked control systems. 4239-4244 2015 ACC https://doi.org/10.1109/ACC.2015.7171995 conf/amcc/2015 db/conf/amcc/acc2015.html#HashimotoAD15 Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Time-constrained event-triggered Model Predictive Control for nonlinear continuous-time systems. 4326-4331 2015 CDC https://doi.org/10.1109/CDC.2015.7402894 conf/cdc/2015 db/conf/cdc/cdc2015.html#HashimotoAD15 Kazumune Hashimoto Shuichi Adachi Dimos V. Dimarogonas Distributed event-based model predictive control for multi-agent systems under disturbances. 255-261 2014 NetGCooP https://ieeexplore.ieee.org/document/7943425/ conf/netcoop/2014 db/conf/netcoop/netcoop2014.html#HashimotoAD14 Shuichi Adachi Norika Arai Kai Cai Michelle ChongMichelle S. Chong Dimos V. Dimarogonas Lichen Ding Kosei Fushimi Yulong Gao Sebastien Gros Wataru Hashimoto 0001 Junya Ikemoto Shuo Jiang Sekitoshi Kanai Shunki Kimura Takuma Kinugawa Masako Kishida He Kong Haru Kuroki Taiwei Li Satoshi Maruyama Abolfazl Mehbodniya Masaki Ogura 0001 Toshiyuki Ohtsuka Yuga Onoue Tinghui Ouyang Sagar V. Patil Pongsathorn Raksincharoensak Toshikazu Sakano Adnane Saoud Kazunobu Serizawa Xun Shen Hiroshi Takahashi Shigemasa Takai Yoshinari Takayama Katsuhiro Temma Natsuko Tsumagari Toshimitsu Ushio Akifumi Wachi Ye Wang Zhijun Wang Julian L. Webber Yuhu Wu Yuyue Yan Kazuto Yano Maojiao Ye Yusuke Yokokawa Tsukasa Yoshida Yuichi Yoshimura Xingguo Zhang