Luis Benet

According to our database, Luis Benet authored at least 12 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verified propagation of imprecise probabilities in non-linear ODEs.

Ander Gray, Marcelo Forets, Christian Schilling, Scott Ferson, Luis Benet

Int. J. Approx. Reason., January, 2024

A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance.

Luis Benet, Luca Ferranti, Nathalie Revol

Concurr. Comput. Pract. Exp., 2024

2023

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, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance.

Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin

Proceedings of the Parallel Processing and Applied Mathematics, 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, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

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, Mark Wetzlinger

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

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, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

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, Mark Wetzlinger

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

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, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

TaylorSeries.jl: Taylor expansions in one and several variables in Julia.

Luis Benet, David P. Sanders

J. Open Source Softw., 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2014

Validated numerics with Python: the ValidiPy package.

David P. Sanders, Luis Benet

Proceedings of the 13th Python in Science Conference, 2014