FERRANDO, ANGELO
FERRANDO, ANGELO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 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.
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. | |
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. |