Kousei Sakata, Shintaro Fujita, Kenji Sawada, Hiroshi Iwasawa, Hiromichi Endoh, Noritaka Matsumoto. Model verification of fallback control system under cyberattacks via UPPAAL. Advanced Robotics, 37(3):156-168, February 2023. [doi]
Abstract is missing.