Abstract | ||
---|---|---|
Neural networks are increasingly applied to support decision-making in safety-critical applications (like autonomous cars, unmanned aerial vehicles, and face recognition-based authentication). While many impressive static verification techniques have been proposed to tackle the correctness problem of neural networks, existing static verification techniques still do not answer the natural question:... |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/QRS54544.2021.00081 | 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) |
Keywords | DocType | ISBN |
Runtime,Face recognition,Neurons,Software quality,Maintenance engineering,Software reliability,Safety | Conference | 978-1-6654-5813-9 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guoliang Dong | 1 | 28 | 2.49 |
Jun Sun | 2 | 1407 | 120.35 |
wang jingyi | 3 | 72 | 16.19 |
xinyu | 4 | 590 | 30.19 |
Ting Dai | 5 | 14 | 2.27 |