Pieter Collins
Universiteit Maastricht
H-index: 24
Europe-Netherlands
Top articles of Pieter Collins
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Rigorous Function Calculi in Ariadne | arXiv preprint arXiv:2306.17541 | Pieter Collins Luca Geretti Sanja Zivanovic Gonzalez Davide Bresolin Tiziano Villa | 2023/6/30 |
A higher order method for input-affine uncertain systems | Nonlinear Analysis: Hybrid Systems | Sanja Zivanovic Gonzalez Luca Geretti Davide Bresolin Tiziano Villa Pieter Collins | 2023/2/1 |
ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics | Proceedings of 10th International Workshop on Applied | Luca Geretti Julien Alexandre dit Sandretto Matthias Althoff Luis Benet Pieter Collins | 2023/10/18 |
Automating Numerical Parameters Along the Evolution of a Nonlinear System | Luca Geretti Pieter Collins Davide Bresolin Tiziano Villa | 2022/9/23 | |
Computability of the Behaviour of Impacting Systems Beyond Zeno Times | IFAC-PapersOnLine | Pieter Collins Michal Konečný | 2022/1/1 |
Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System | Franz Brauße Pieter Collins Martin Ziegler | 2022/8/11 | |
Explainable AI through the Learning of Arguments | arXiv preprint arXiv:2202.00383 | Jonas Bei David Pomerenke Lukas Schreiner Sepideh Sharbaf Pieter Collins | 2022/2/1 |
Higher-Order Methods for Differential Inclusions | Pieter Collins Luca Geretti Tiziano Villa Sanja Zivanovic Gonzalez | 2022 | |
ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics | Luca Geretti Julien Alexandre Dit Sandretto Matthias Althoff Luis Benet Pieter Collins | 2022 | |
Monadic Systems | IFAC-PapersOnLine | Pieter Collins | 2022/1/1 |
ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics | Luca Geretti Julien Alexandre dit Sandretto Matthias Althoff Luis Benet Alexandre Chapoutot | 2021 | |
Higher order method for differential inclusions | arXiv preprint arXiv:2001.11330 | Sanja Zivanovic Gonzalez Pieter Collins Luca Geretti Davide Bresolin Tiziano Villa | 2020/1/29 |
ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics | EPiC Series in Computing | Matthias Althoff Stanley Bak Zongnan Bao Marcelo Forets Goran Frehse | 2020 |
Foundation of computer (algebra) analysis systems: semantics, logic, programming, verification | SEWON Park F Brauße PIETER Collins SUNYOUNG Kim M Konecný | 2020 | |
Computable Random Variables and Conditioning | arXiv preprint arXiv:2101.00956 | Pieter Collins | 2020/12/22 |
A computable and compositional semantics for hybrid automata | Davide Bresolin Pieter Collins Luca Geretti Roberto Segala Tiziano Villa | 2020/4/22 | |
Computable analysis with applications to dynamic systems | Mathematical Structures in Computer Science | Pieter Collins | 2020/2 |