| Publication | Date of Publication | Type |
|---|
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane
International Journal of Approximate Reasoning | 2024-07-10 | Paper |
A few lessons learned in reinforcement learning for quadcopter attitude control
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
| Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane | 2023-09-07 | Paper |
A reduced product of absolute and relative error bounds for floating-point analysis
Static Analysis | 2023-05-26 | Paper |
Inner and outer approximating flowpipes for delay differential equations
Computer Aided Verification | 2023-05-05 | Paper |
| RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems | 2022-12-07 | Paper |
Static analysis of ReLU neural networks with tropical polyhedra
(available as arXiv preprint) | 2022-06-17 | Paper |
A topological method for finding invariant sets of continuous systems
Information and Computation | 2021-04-13 | Paper |
Inner and outer reachability for the verification of control systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities | 2019-09-17 | Paper |
A topological method for finding invariant sets of continuous systems
Lecture Notes in Computer Science | 2017-10-27 | Paper |
Forward inner-approximated reachability of non-linear continuous systems
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
A topological method for finding invariant sets of switched systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Inner approximated reachability analysis
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
A zonotopic framework for functional abstractions
Formal Methods in System Design | 2016-02-25 | Paper |
An accurate join for zonotopes, preserving affine input/output relations
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
| General inner approximation of vector-valued functions | 2013-10-07 | Paper |
A generalization of \(p\)-boxes to affine arithmetic
Computing | 2012-04-04 | Paper |
Static analysis of finite precision computations
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Static Analysis of Numerical Algorithms
Static Analysis | 2009-03-12 | Paper |
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
Static Analysis | 2009-03-03 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2087547 (Why is no real title available?) | 2004-08-11 | Paper |
