SILVETTI, SIMONE
SILVETTI, SIMONE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.0 secondi).
An active learning approach to the falsification of black box cyber-physical systems
2017-01-01 Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca
Combining Machine Learning and Formal Methods for Complex Systems Design
2018-09-28 Silvetti, Simone
Logic-based multi-objective design of chemical reaction networks
2016-01-01 Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An active learning approach to the falsification of black box cyber-physical systems | 1-gen-2017 | Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca | |
Combining Machine Learning and Formal Methods for Complex Systems Design | 28-set-2018 | Silvetti, Simone | |
Logic-based multi-objective design of chemical reaction networks | 1-gen-2016 | Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone |