BECCHI, ANNA
BECCHI, ANNA
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
A direct encoding for NNC polyhedra
2018-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
PPLite 0.3
2018-01-01 Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino
Reverse engineering with P-stable abstractions
2021-01-01 Becchi, A.; Cimatti, A.; Zaffanella, E.
Revisiting Polyhedral Analysis for Hybrid Systems
2019-01-01 Becchi, Anna; Zaffanella, Enea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A direct encoding for NNC polyhedra | 1-gen-2018 | 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 | |
| PPLite 0.3 | 1-gen-2018 | Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino | |
| Reverse engineering with P-stable abstractions | 1-gen-2021 | Becchi, A.; Cimatti, A.; Zaffanella, E. | |
| Revisiting Polyhedral Analysis for Hybrid Systems | 1-gen-2019 | Becchi, Anna; Zaffanella, Enea |