GERETTI, Luca
GERETTI, Luca
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
An Introduction to the Verification of Hybrid Systems using Ariadne
2015-01-01 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins
Formal Verification Applied to Robotic Surgery
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Special issue: Formal verification of cyber-physical systems
2022-01-01 Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach
2011-01-01 Geretti, Luca; Abramo, Antonio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Introduction to the Verification of Hybrid Systems using Ariadne | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins | |
Formal Verification Applied to Robotic Surgery | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
Special issue: Formal verification of cyber-physical systems | 1-gen-2022 | Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano | |
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach | 1-gen-2011 | Geretti, Luca; Abramo, Antonio |