LEOFANTE, FRANCESCO
LEOFANTE, FRANCESCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Improving Reliability of Myocontrol Using Formal Verification
2019-01-01 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics
2018-01-01 Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando
Interval abstractions for robust counterfactual explanations
2024-01-01 Jiang, J.; Leofante, F.; Rago, A.; Toni, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Improving Reliability of Myocontrol Using Formal Verification | 1-gen-2019 | Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C. | |
| Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics | 1-gen-2018 | Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando | |
| Interval abstractions for robust counterfactual explanations | 1-gen-2024 | Jiang, J.; Leofante, F.; Rago, A.; Toni, F. |