Validated numerics with Python: the ValidiPy package. - David P. Sanders; Luis Benet (SciPy, 2014)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

TaylorSeries.jl: Taylor expansions in one and several variables in Julia. - Luis Benet; David P. Sanders (J. Open Source Softw., 2019)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling 001; et al. (ARCH@ADHS, 2021)

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Taylor T. Johnson; Diego Manzanas Lopez; Luis Benet; Marcelo Forets; Sebastián Guadalupe; Christian Schilling 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 2021)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Matthias Althoff; Luis Benet; Xin Chen 002; Jiameng Fan; Marcelo Forets; Chao Huang 015; Taylor T. Johnson; Tobias Ladner; Wenchao Li 001; Christian Schilling 001; Qi Zhu 002 (ARCH@SAFECOMP, 2022)

Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance. - Nathalie Revol; Luis Benet; Luca Ferranti; Sergei I. Zhilin (PPAM (2), 2022)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger; et al. (ARCH, 2023)

A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. - Luis Benet; Luca Ferranti; Nathalie Revol (Concurr. Comput. Pract. Exp., 2024)

Verified propagation of imprecise probabilities in non-linear ODEs. - Ander Gray; Marcelo Forets; Christian Schilling 001; Scott Ferson; Luis Benet (Int. J. Approx. Reason., 2024)