Edit Profile Zutshi, Aditya Compute Distance To: Compute Author ID: zutshi.aditya Published as: Zutshi, Aditya Documents Indexed: 1 Publication since 2016 Co-Authors 0 single-authored 1 Deshmukh, Jyotirmoy V. 1 Jin, Xiaoqing 1 Sankaranarayanan, Sriram Serials Fields 1 Systems theory; control (93-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 all top 5 Cited by 6 Authors 1 Mancini, Toni 1 Mari, Federico 1 Massini, Annalisa 1 Melatti, Igor 1 Salvo, Ivano 1 Tronci, Enrico Cited in 1 Serial 1 Information Processing Letters Cited in 1 Field 1 Computer science (68-XX) Citations by Year