Name
Title | ||
|---|---|---|
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning. |
Year | Venue | DocType |
|---|---|---|
2021 | UAI | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Davide Corsi | 1 | 1 | 2.05 |
| Enrico Marchesini | 2 | 0 | 2.03 |
| Alessandro Farinelli | 3 | 667 | 74.16 |