FERRANDO, ANGELO
FERRANDO, ANGELO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 secondi).
A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs
2023-01-01 Chaanine, T.; Ferrando, A.; Pasquale, C.; Pastore, V. P.; Garjan, M. S.; Siri, S.
Comparing trace expressions and linear temporal logic for runtime verification
2016-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
2023-01-01 Ancona, D.; Ferrando, A.; Mascardi, V.
Integrating Virtual Reality, Chatbots, and BDI Agents: VEsNA Goes Fast!
2026-01-01 Ferrando, Angelo; Gatti, Andrea; Mascardi, Viviana
Smart RogAgent: Where Agents and Humans Team Up
2019-01-01 Capone, C.; Bordini, R. H.; Mascardi, V.; Delzanno, G.; Ferrando, A.; Gelati, L.; Guerrini, G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs | 1-gen-2023 | Chaanine, T.; Ferrando, A.; Pasquale, C.; Pastore, V. P.; Garjan, M. S.; Siri, S. | |
| Comparing trace expressions and linear temporal logic for runtime verification | 1-gen-2016 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
| Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives | 1-gen-2023 | Ancona, D.; Ferrando, A.; Mascardi, V. | |
| Integrating Virtual Reality, Chatbots, and BDI Agents: VEsNA Goes Fast! | 1-gen-2026 | Ferrando, Angelo; Gatti, Andrea; Mascardi, Viviana | |
| Smart RogAgent: Where Agents and Humans Team Up | 1-gen-2019 | Capone, C.; Bordini, R. H.; Mascardi, V.; Delzanno, G.; Ferrando, A.; Gelati, L.; Guerrini, G. |