Concepedia

Aditya Zutshi

AZ

7

Publications

193

Citations

7

H-Index

2013

Active since

Affiliations

University of Colorado Boulder(Current)

Toyota Motor Corporation (Switzerland)

University of Colorado System

University of Southern California

Toyota Motor North America (United States)

Aditya Zutshi is an author at University of Colorado Boulder specializing in formal methods, formal verification, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringVerificationProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

2013–2023

7

Publications

7

Multiple shooting, CEGAR-based falsification for hybrid systems

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan et al. · 2014 · 60 citations

Engineering, Reachability Problem, Verification +18

A trajectory splicing approach to concretizing counterexamples for hybrid systems

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh et al. · 2013 · 41 citations

Reachability Analysis, Engineering, Reachability Problem +15

Requirements driven falsification with coverage metrics

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva et al. · 2015 · 30 citations

Engineering, Requirement Modeling, Verification +23

Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference

Xin Qin, Yuan Xia, Aditya Zutshi et al. · 2022 · 23 citations

Engineering, Verification, Computer-aided Verification +22

Falsification of safety properties for closed loop control systems

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh et al. · 2015 · 15 citations

Engineering, Verification, Physical Plant +19

Rows per page

1–5 of 7