IEEE Transactions on Circuits and Systems II: Express Briefs IEEE Trans. Circuits Syst. II Circuits and Systems II: Express Briefs, IEEE Transactions on. 71(3):1650-1655 Mar, 2024
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016 International Workshop on. :1-6 Apr, 2016