Robust Verification

Robust Verification is a formal method within hybrid systems verification that ensures correctness guarantees persist under small perturbations in system parameters, inputs, or environmental conditions, thereby distinguishing it from standard verification approaches that require exact adherence to nominal models.

117

Publications

4.1K

Citations

322

Authors

159

Institutions

Publications per year

2017–2026

Parents

Hybrid Systems Verification

Publications

117

A Dual Approach to Scalable Verification of Deep Networks

Robert Stanforth, Sven Gowal, Timothy Mann et al. · arXiv (Cornell University) · 2018 · 173 citations · Full text

Computing, Computer Engineering, Computer Science +16

Proving programs robust

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman et al. · 2011 · 140 citations

Computing, Computer Science, Formal Methods +15

Robustness analysis of polynomials with polynomial parameter dependency using Bernstein expansion

Michael Zettler, Jürgen Garloff · IEEE Transactions on Automatic Control · 1998 · 118 citations

Natural Sciences, Computer Science, Mathematics +15

Short-time Gaussianization for robust speaker verification

Bing Xiang, Upendra V. Chaudhari, Jiří Navrátil et al. · IEEE International Conference on Acoustics Speech and Signal Processing · 2002 · 115 citations

Computing, Linguistics, Natural Language Processing +13

SoK: Certified Robustness for Deep Neural Networks

Linyi Li, Tao Xie, Bo Li · 2023 · 109 citations

Computing, Autonomous Systems, Computer Science +16

1–5 of 117

Authors

322

MM
Man‐Wai Mak
Hong Kong Polytechnic University, Hong Kong SAR China
5 publications · 132 citations
5
h-index
SC
Swarat Chaudhuri
Rice University, United States
3 publications · 314 citations
3
h-index
CB
Christoph Busch
Darmstadt University of Applied Sciences, Germany
3 publications · 80 citations
3
h-index
TX
Tao Xie
North Carolina State University, United States
3 publications · 150 citations
3
h-index
SM
Sayan Mitra
University of Illinois Urbana-Champaign, United States
3 publications · 162 citations
3
h-index

1–5 of 322

Institutions

159

1–8 of 159

Venues

arXiv (Cornell University)
Repository · 7 publications · 451 citations
7
h-index
IEEE Transactions on Automatic Control
4 publications · 232 citations
4
h-index
Computer Speech & Language
2 publications · 60 citations
2
h-index
IEEE/ACM Transactions on Audio Speech and Language Processing
TASLP · 2 publications · 101 citations
2
h-index
Pattern Recognition Letters
2 publications · 41 citations
2
h-index

1–5