M. Forets

Available identifiers

Publication	Date of Publication	Type
Verified propagation of imprecise probabilities in non-linear ODEs	2024-07-10	Paper
Reachability of weakly nonlinear systems using Carleman linearization	2023-03-31	Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)	2022-12-08	Paper
Conservative time discretization: a comparative study	2022-08-19	Paper
Reachability of weakly nonlinear systems using Carleman linearization	2021-08-23	Paper
Case study: reachability and scalability in a unified combat-command-and-control model	2021-07-06	Paper
Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems	2021-05-12	Paper
Discrete Lorentz covariance for quantum walks and quantum cellular automata	2021-01-12	Paper
JuliaReach	2019-10-22	Paper
Semidefinite approximations of invariant measures for polynomial systems	2019-10-10	Paper
Computational mathematics with SageMath. Translated from the 2013 French original by the authors	2019-04-09	Paper
JuliaReach: a Toolbox for Set-Based Reachability	2019-01-30	Paper
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices	2018-12-06	Paper
Explicit Error Bounds for Carleman Linearization	2017-11-07	Paper
Quantum walking in curved spacetime	2016-10-27	Paper
The Dirac equation as a quantum walk: higher dimensions, observational convergence	2014-12-16	Paper
Spatial quantum search in a triangular network	2012-06-04	Paper

This page was built for person: M. Forets