Transformation of controller software to ensure safe behavior under perceptual uncertainty
E-Mail IMAGE: Figure 1. (a) Example of safe uncertainty-aware controller software (b) Challenges of developing such controller software equipped with uncertain sensors. view more Credit: © National Institute of Informatics A research team consisting of Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa, and Shinya Katsumata at the National Institute of Informatics (NII, Japan) and Rick Salay and Krzysztof Czarnecki at University of Waterloo (Canada) developed a method that automatically transforms models of controller software into models that satisfy safety requirements even when ...