1. Tohoku University,Tough Cyberphysical AI Research Center,Sendai,Japan
2. Tohoku University,Graduate School of Information Sciences,Sendai,Japan
3. Nagaoka University of Technology,Department of System Safety,Nagaoka,Japan
4. SINTEF Digital,Department of Mathematics and Cybernetics,Trondheim,Norway