Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Logic-based multi-objective design of chemical reaction networks
2016-01-01 Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Logic-based multi-objective design of chemical reaction networks | 1-gen-2016 | Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone | |
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 |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile