COLLINS, Pieter John
COLLINS, Pieter John
DIPARTIMENTO DI INFORMATICA
A computable and compositional semantics for hybrid systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
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
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2023-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2024-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Mitsch, Stefan; Schilling, Christian; Tillet, Joris; Wetzlinger, Mark
Automating Numerical Parameters Along the Evolution of a Nonlinear System
2022-01-01 Geretti, L; Collins, P; Bresolin, D; Villa, T
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
2024-01-01 Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano
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 computable and compositional semantics for hybrid systems | 1-gen-2024 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja | |
| 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 | |
| ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2023 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel | |
| ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2024 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Mitsch, Stefan; Schilling, Christian; Tillet, Joris; Wetzlinger, Mark | |
| Automating Numerical Parameters Along the Evolution of a Nonlinear System | 1-gen-2022 | Geretti, L; Collins, P; Bresolin, D; Villa, T | |
| Constraint-driven nonlinear reachability analysis with automated tuning of tool properties | 1-gen-2024 | Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano | |
| Rigorous continuous evolution of uncertain systems | 1-gen-2019 | Geretti, Luca; Zivanovic, Sanja; Collins, Pieter John; Bresolin, Davide; Villa, Tiziano |