Model verification of fallback control system under cyberattacks via UPPAAL. - Kousei Sakata; Shintaro Fujita; Kenji Sawada; Hiroshi Iwasawa; Hiromichi Endoh; Noritaka Matsumoto (Adv. Robotics, 2023)

Dependable Connectivity for Cyber-Physical-Human Systems in Open Fields. - Noritaka Matsumoto; Hiroshi Iwasawa; Teruaki Sakata; Hiromichi Endoh; Kenji Sawada; Osamu Kaneko (IEEE Trans. Consumer Electron., 2024)