Estatísticas para Formalization and Runtime Verification of Invariants for Robotic Systems
Total de visitas
| views | |
|---|---|
| Formalization and Runtime Verification of Invariants for Robotic Systems | 78 |
Total de visitas por mês
| views | |
|---|---|
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 1 |
| março 2026 | 0 |
| abril 2026 | 0 |
| maio 2026 | 0 |
| junho 2026 | 0 |
Downloads
| views | |
|---|---|
| TM_Ricardo_Cordeiro.pdf | 137 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 15 |
| China | 9 |
| Japão | 8 |
| Portugal | 8 |
| Brasil | 4 |
| Alemanha | 3 |
| Índia | 3 |
| Canadá | 2 |
| Reino Unido | 2 |
| Hong Kong, RAE da China | 2 |
| Argentina | 1 |
| Colômbia | 1 |
| Curaçau | 1 |
| Chipre | 1 |
| Egito | 1 |
| Irlanda | 1 |
| Malásia | 1 |
| Moçambique | 1 |
| Países Baixos | 1 |
| Nova Zelândia | 1 |
| Sérvia | 1 |
| Rússia | 1 |
| Turquia | 1 |
| Ucrânia | 1 |
| Vietname | 1 |