This page shows usage statistics for the item: Assurance of agent systems: What role should formal verification play?
Click a number to switch between file downloads and item page views, or view statistics for a different date range.
Currently showing: File downloads; All dates
| File downloads | Item page views | |
|---|---|---|
| Current month | 0 | 0 |
| Previous month | 4 | 0 |
| All dates | 201 | 81 |
Click a country's number to view statistics for visits from that country.
Currently showing: File downloads; All dates
| File downloads | |
|---|---|
| United States of America | 86 |
| United Kingdom | 20 |
| China | 13 |
| New Zealand | 13 |
| Algeria | 6 |
| Italy | 6 |
| Australia | 5 |
| Germany | 5 |
| Pakistan | 4 |
| France | 3 |
| File downloads | |
|---|---|
| Minneapolis | 32 |
| Beijing | 9 |
| Dunedin | 7 |
| Biskra | 5 |
| Columbus | 5 |
| Birmingham | 4 |
| Saint Paul | 4 |
| Woodbridge | 4 |
| Denver | 3 |
| Madison | 3 |