2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
Off-Campus Access: Athens ID and Password Required