Yusuke Kawamoto -

Registered user since Sat 21 Feb 2026

Name:Yusuke Kawamoto

Country:Japan

Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan

Personal website: https://staff.aist.go.jp/yusuke.kawamoto/

Research interests:Formal verification, Statistical programs, Stochastic systems, Information flow, Security, Privacy, Quality management of AI systems

Contributions

2026

FM

Author of Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking within the Research Track-track