Safety verification using data-driven reachability computation Posted in SPECIAL SESSION Prof. Karl Johansson (Royal Institute of Technology, Stockholm, Sweden)