| Publication | Date of Publication | Type |
|---|
Set-based value operators for non-stationary and uncertain Markov decision processes
Automatica | 2025-01-08 | Paper |
Computation of invariant sets for discrete‐time uncertain systems
International Journal of Robust and Nonlinear Control | 2024-03-12 | Paper |
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
| scientific article; zbMATH DE number 7440190 (Why is no real title available?) | 2021-12-07 | Paper |
scientific article; zbMATH DE number 7440190 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-07 | Paper |
Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games
Automatica | 2021-11-19 | Paper |
| scientific article; zbMATH DE number 7364138 (Why is no real title available?) | 2021-06-28 | Paper |
scientific article; zbMATH DE number 7364138 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-28 | Paper |
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Lecture Notes in Computer Science | 2021-05-25 | Paper |
Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint
European Journal of Control | 2021-02-25 | Paper |
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
SIAM Journal on Control and Optimization | 2019-08-30 | Paper |
Experiments in verification of linear model predictive control: automatic generation and formal verification of an interior point method algorithm
EPiC Series in Computing | 2019-07-04 | Paper |
Automated analysis of Stateflow models
EPiC Series in Computing | 2019-01-10 | Paper |
| Formal verification of control systems software | 2018-11-09 | Paper |
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs
Computer Languages, Systems & Structures | 2018-01-30 | Paper |
A sums-of-squares extension of policy iterations
Nonlinear Analysis. Hybrid Systems | 2017-10-04 | Paper |
Credible autocoding of convex optimization algorithms
Optimization and Engineering | 2017-06-21 | Paper |
Formal Analysis of Robustness at Model and Code Level
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Closed loop analysis of control command software
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
A generic ellipsoid abstract domain for linear time invariant systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Quadratic zonotopes. An extension of zonotopes to quadratic arithmetics
Programming Languages and Systems | 2016-01-08 | Paper |
Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case
Formal Methods in System Design | 2015-10-30 | Paper |
Automatic synthesis of piecewise linear quadratic invariants for programs
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Integrating Policy Iterations in Abstract Interpreters
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
