Publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2026

  1. ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
    Samuel Sasaki, Ben Wooding, Taylor T. Johnson, and 10 more authors
    In Proceedings of the 13th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH26), 2026
    DOI PDF

2025

  1. ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
    Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, and 8 more authors
    In Proceedings of the 12th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH25), 2025
    DOI PDF
  2. ARCH-COMP25 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
    Diego Manzanas Lopez, Matthias Althoff, Luis Benet, and 8 more authors
    In Proceedings of the 12th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH25), 2025
    DOI PDF

2024

  1. Verified Propagation of Imprecise Probabilities in Non-Linear ODEs
    Ander Gray, Marcelo Forets, Christian Schilling, and 2 more authors
    International Journal of Approximate Reasoning, 2024
    Article first available online in 2023
    DOI PDF
  2. Optimization Algorithms for Adaptative Route Sequencing on Real-World Last-Mile Deliveries
    Fernando Hernandez, Rafael Sotelo, and Marcelo Forets
    Ingenius. Revista de Ciencia y Tecnologı́a, 2024
    DOI PDF
  3. RangeEnclosures.jl: A Framework to Bound Function Ranges
    Luca Ferranti, Marcelo Forets, and Christian Schilling
    In , 2024
    DOI PDF
  4. ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
    Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, and 7 more authors
    In Proceedings of the 11th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH24), 2024
    DOI PDF

2023

  1. ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
    Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, and 3 more authors
    In Proceedings of the 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
    DOI PDF
  2. ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
    Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, and 10 more authors
    In Proceedings of the 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
    DOI PDF
  3. The Inverse Problem for Neural Networks
    Marcelo Forets and Christian Schilling
    In Bridging the Gap Between AI and Reality (AISoLA 2023), 2023
    DOI PDF

2022

  1. Conservative Time Discretization: A Comparative Study
    Marcelo Forets and Christian Schilling
    In Integrated Formal Methods (iFM 2022), 2022
    DOI PDF
  2. Decomposing Reach Set Computations with Low-Dimensional Sets and High-Dimensional Matrices (Extended Version)
    Sergiy Bogomolov, Marcelo Forets, Goran Frehse, and 2 more authors
    Information and Computation, 2022
    DOI PDF
  3. Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems
    Marcelo Forets, Daniel Freire Caporale, and Jorge M. Pérez Zerpa
    Computers & Structures, 2022
    DOI PDF
  4. Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
    Christian Schilling, Marcelo Forets, and Sebastián Guadalupe
    In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2022), 2022
    DOI PDF
  5. Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
    Jorge M. Pérez Zerpa, Marcelo Forets, and Daniel Freire Caporale
    In , 2022
    DOI PDF

2021

  1. LazySets.jl: Scalable Symbolic-Numeric Set Computations
    Marcelo Forets and Christian Schilling
    Proceedings of the JuliaCon Conferences, 2021
    DOI PDF
  2. Reachability of Weakly Nonlinear Systems Using Carleman Linearization
    Marcelo Forets and Christian Schilling
    In Reachability Problems (RP 2021), 2021
    DOI PDF

2020

  1. Reachability Analysis of Linear Hybrid Systems via Block Decomposition
    Sergiy Bogomolov, Marcelo Forets, Goran Frehse, and 2 more authors
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
    Presented at ESWEEK/EMSOFT 2020
    DOI PDF

2019

  1. JuliaReach: a Toolbox for Set-Based Reachability
    Sergiy Bogomolov, Marcelo Forets, Goran Frehse, and 2 more authors
    In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC’19), 2019
    DOI PDF
  2. Semidefinite Approximations of Invariant Measures for Polynomial Systems
    Victor Magron, Marcelo Forets, and Didier Henrion
    Discrete and Continuous Dynamical Systems - B, 2019
    DOI PDF

2018

  1. Computational Mathematics with SageMath
    Paul Zimmermann, Alexandre Casamayou, Nathann Cohen, and 13 more authors
    2018
    DOI PDF

2017

  1. Explicit Error Bounds for Carleman Linearization
    Marcelo Forets and Amaury Pouly
    2017
    arXiv preprint
    PDF

2016

  1. Quantum walking in curved spacetime
    Pablo Arrighi, Stefano Facchini, and Marcelo Forets
    Quantum Information Processing, 2016
    DOI PDF
  2. Compositional Analysis of Circuits with Parametric Uncertainties
    Marcelo Forets, Goran Frehse, and Nikolaos Kekatos
    Dec 2016
    Technical deliverable report
  3. Modeling Analog Circuits with Technological Dispersion
    Marcelo Forets, Stefano Minopoli, and Goran Frehse
    Jul 2016
    Technical deliverable report

2014

  1. The Dirac equation as a quantum walk: higher dimensions, observational convergence
    Pablo Arrighi, Vincent Nesme, and Marcelo Forets
    Journal of Physics A: Mathematical and Theoretical, 2014
    DOI PDF
  2. Discrete Lorentz covariance for quantum walks and quantum cellular automata
    Pablo Arrighi, Stefano Facchini, and Marcelo Forets
    New Journal of Physics, 2014
    DOI PDF

2012

  1. Spatial quantum search in a triangular network
    G. Abal, R. Donangelo, M. Forets, and 1 more author
    Mathematical Structures in Computer Science, 2012
    DOI PDF