| Publication | Date of Publication | Type |
|---|
Computation of feedback control laws based on switched tracking of demonstrations
European Journal of Control | 2025-01-22 | Paper |
| Deciding predicate logical theories of real-valued functions | 2024-12-03 | Paper |
Railway scheduling using Boolean satisfiability modulo simulations
Formal Methods | 2023-08-17 | Paper |
| SAT Modulo Differential Equation Simulations | 2022-11-09 | Paper |
| Fast three-valued abstract bit-vector arithmetic | 2022-07-08 | Paper |
Solving reachability problems by a scalable constrained optimization method
Optimization and Engineering | 2020-03-04 | Paper |
Converse Theorems for Safety and Barrier Certificates
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
Simulation based computation of certificates for safety of dynamical systems
(available as arXiv preprint) | 2017-12-01 | Paper |
Quasi-decidability of a fragment of the first-order theory of real numbers
Journal of Automated Reasoning | 2017-08-17 | Paper |
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Convergent approximate solving of first-order constraints by approximate quantifiers
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Solving Underdetermined Boundary Value Problems By Sequential Quadratic Programming | 2015-12-30 | Paper |
Combined global and local search for the falsification of hybrid systems
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Effective topological degree computation based on interval arithmetic
Mathematics of Computation | 2015-03-19 | Paper |
Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
Mathematics in Computer Science | 2014-11-27 | Paper |
Safety verification of non-linear hybrid systems is quasi-decidable
Formal Methods in System Design | 2014-06-30 | Paper |
Safety verification for probabilistic hybrid systems
European Journal of Control | 2014-01-21 | Paper |
Incremental computation of succinct abstractions for hybrid systems
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Satisfiability of systems of equations of real analytic functions is quasi-decidable
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
SIAM Journal on Control and Optimization | 2011-03-21 | Paper |
Safety verification of non-linear hybrid systems is quasi-semidecidable
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Solving existentially quantified constraints with one equality and arbitrarily many inequalities
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
Tests and Proofs | 2009-07-07 | Paper |
Constraints for Continuous Reachability in the Verification of Hybrid Systems
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
| scientific article; zbMATH DE number 5263038 (Why is no real title available?) | 2008-04-14 | Paper |
Language-Based Abstraction Refinement for Hybrid System Verification
Lecture Notes in Computer Science | 2008-04-04 | Paper |
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
International Journal of Foundations of Computer Science | 2007-03-13 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2090047 (Why is no real title available?) | 2004-08-12 | Paper |
Set computation for nonlinear control
Reliable Computing | 2004-03-15 | Paper |
Search heuristics for box decomposition methods
Journal of Global Optimization | 2003-03-10 | Paper |
Approximate quantified constraint solving by cylindrical box decomposition
Reliable Computing | 2002-07-08 | Paper |
Quantified constraints under perturbation
Journal of Symbolic Computation | 2002-06-11 | Paper |
| scientific article; zbMATH DE number 1543332 (Why is no real title available?) | 2001-02-27 | Paper |
