| Publication | Date of Publication | Type |
|---|
| Scalable computation of robust control invariant sets of nonlinear systems | 2024-07-21 | Paper |
| Scalable Robust Safety Filter With Unknown Disturbance Set | 2024-02-29 | Paper |
| Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets | 2024-02-29 | Paper |
| Adaptive parameter tuning for reachability analysis of nonlinear systems | 2024-02-21 | Paper |
| AROC | 2024-02-21 | Paper |
| Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions | 2024-02-21 | Paper |
| Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis | 2024-02-21 | Paper |
| Formal Safety Net Control Using Backward Reachability Analysis | 2023-09-25 | Paper |
| Constrained polynomial zonotopes | 2023-08-16 | Paper |
| A formally verified motion planner for autonomous vehicles | 2023-07-28 | Paper |
| Distributed set-based observers using diffusion strategies | 2023-07-11 | Paper |
| Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges | 2023-06-26 | Paper |
| Privacy-preserving set-based estimation using partially homomorphic encryption | 2023-06-21 | Paper |
| M-Representation of Polytopes | 2023-03-09 | Paper |
| Adaptive reachability algorithms for nonlinear systems using abstraction error analysis | 2022-10-14 | Paper |
| Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications | 2022-03-18 | Paper |
| On the co-NP-completeness of the zonotope containment problem | 2022-01-19 | Paper |
| Comparison of guaranteed state estimators for linear time-invariant systems | 2021-11-19 | Paper |
| Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis | 2021-09-09 | Paper |
| Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems | 2021-05-28 | Paper |
| Reachability analysis for hybrid systems with nonlinear guard sets | 2021-01-25 | Paper |
| Utilizing dependencies to obtain subsets of reachable sets | 2021-01-25 | Paper |
| Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace | 2020-10-07 | Paper |
| Set-based control for disturbed piecewise affine systems with state and actuation constraints | 2020-05-07 | Paper |
| Representation of Polytopes as Polynomial Zonotopes | 2019-10-16 | Paper |
| STL model checking of continuous and hybrid systems | 2018-10-25 | Paper |
| Time-triggered conversion of guards for reachability analysis of hybrid automata | 2017-12-01 | Paper |
| Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace | 2017-12-01 | Paper |
| Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems | 2017-07-11 | Paper |
| Reachset Conformance Testing of Hybrid Automata | 2017-05-19 | Paper |
| Avoiding geometric intersection operations in reachability analysis of hybrid systems | 2017-05-16 | Paper |
| Reachability Analysis of Nonlinear Differential-Algebraic Systems | 2017-05-16 | Paper |
| Reachable set computation for uncertain time-varying linear systems | 2017-05-16 | Paper |
| Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets | 2017-05-16 | Paper |
| Energy-consistent Galerkin approach for the nonlinear dynamics of beams using intrinsic equations | 2013-09-05 | Paper |
| Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes | 2010-08-19 | Paper |
| Adaptive Parameter Tuning for Reachability Analysis of Linear Systems | N/A | Paper |
| Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation | N/A | Paper |
| Approximability of the Containment Problem for Zonotopes and Ellipsotopes | N/A | Paper |
