Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
PPLite 0.3
2018-01-01 Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino
A direct encoding for NNC polyhedra
2018-01-01 Becchi, Anna; Zaffanella, Enea
Revisiting Polyhedral Analysis for Hybrid Systems
2019-01-01 Becchi, Anna; Zaffanella, Enea
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
2019-01-01 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Becchi, Anna; Bu, Lei; Cimmati, Alessandro; Giacobbe, Mirco; Griggio, Alberto; Mover, Sergio; Syifa'ul Mufid, Muhammad; Riouak, Idriss; Tonetta, Stefano; Zaffanella, Enea
Reverse engineering with P-stable abstractions
2021-01-01 Becchi, A.; Cimatti, A.; Zaffanella, E.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
PPLite 0.3 | 1-gen-2018 | Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino | |
A direct encoding for NNC polyhedra | 1-gen-2018 | Becchi, Anna; Zaffanella, Enea | |
Revisiting Polyhedral Analysis for Hybrid Systems | 1-gen-2019 | Becchi, Anna; Zaffanella, Enea | |
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | 1-gen-2019 | Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Becchi, Anna; Bu, Lei; Cimmati, Alessandro; Giacobbe, Mirco; Griggio, Alberto; Mover, Sergio; Syifa'ul Mufid, Muhammad; Riouak, Idriss; Tonetta, Stefano; Zaffanella, Enea | |
Reverse engineering with P-stable abstractions | 1-gen-2021 | Becchi, A.; Cimatti, A.; Zaffanella, E. |
Mostrati risultati da 1 a 5 di 5
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