COLLINS, Pieter John
COLLINS, Pieter John
DIPARTIMENTO DI INFORMATICA
A higher order method for input-affine uncertain systems
2023-01-01 Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2020-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter John; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2021-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Collins, Pieter; Duggirala, Parasara Sridhar; Forets, Marcelo; Kim, Edward; Linares, Uziel; Sanders, David P.; Schilling, Christian; Wetzlinger, Mark
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2022-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark
Automating Numerical Parameters Along the Evolution of a Nonlinear System
2022-01-01 Geretti, L; Collins, P; Bresolin, D; Villa, T
Rigorous continuous evolution of uncertain systems
2019-01-01 Geretti, Luca; Zivanovic, Sanja; Collins, Pieter John; Bresolin, Davide; Villa, Tiziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A higher order method for input-affine uncertain systems | 1-gen-2023 | Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter | |
| ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2020 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter John; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian | |
| ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2021 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Collins, Pieter; Duggirala, Parasara Sridhar; Forets, Marcelo; Kim, Edward; Linares, Uziel; Sanders, David P.; Schilling, Christian; Wetzlinger, Mark | |
| ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2022 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark | |
| Automating Numerical Parameters Along the Evolution of a Nonlinear System | 1-gen-2022 | Geretti, L; Collins, P; Bresolin, D; Villa, T | |
| Rigorous continuous evolution of uncertain systems | 1-gen-2019 | Geretti, Luca; Zivanovic, Sanja; Collins, Pieter John; Bresolin, Davide; Villa, Tiziano |