| Publication | Date of Publication | Type |
|---|
| Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion | 2025-08-19 | Paper |
| Strategies resilient to delay: games under delayed control vs. delay games | 2025-08-19 | Paper |
Reach-avoid verification based on convex optimization
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Reach-avoid analysis for polynomial stochastic differential equations
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Taming delays in dynamical systems. Unbounded verification of delay differential equations
Computer Aided Verification | 2024-02-16 | Paper |
The demon, the gambler, and the engineer. Reconciling hybrid-system theory with metrology
Lecture Notes in Computer Science | 2023-08-02 | Paper |
What's to come is still unsure. Synthesizing controllers resilient to delayed interaction
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
The quest for an adequate semantic basis of dense-time metric temporal logic
Lecture Notes in Computer Science | 2023-07-26 | Paper |
Mixed-neighborhood, multi-speed cellular automata for safety-aware pedestrian prediction
Software Engineering and Formal Methods | 2023-05-26 | Paper |
| Syntax-guided optimal synthesis for chemical reaction networks | 2022-08-12 | Paper |
Costs and rewards in priced timed automata
Information and Computation | 2022-01-06 | Paper |
Costs and rewards in priced timed automata
Information and Computation | 2022-01-06 | Paper |
Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
Acta Informatica | 2021-09-30 | Paper |
| Costs and rewards in priced timed automata | 2021-07-28 | Paper |
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
| Discounted duration calculus | 2020-01-03 | Paper |
| Validated simulation-based verification of delayed differential dynamics | 2020-01-03 | Paper |
Effective definability of the reachability relation in timed automata
Information Processing Letters | 2019-11-21 | Paper |
Robust invariant sets generation for state-constrained perturbed polynomial systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Model checking delay differential equations against metric interval temporal logic
Scientific Annals of Computer Science | 2019-02-08 | Paper |
| Safe over- and under-approximation of reachable sets for autonomous dynamical systems | 2018-12-06 | Paper |
Under-approximating reach sets for polynomial continuous systems
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
| Reach-Avoid Differential Games Based on Invariant Generation | 2018-11-07 | Paper |
Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties
(available as arXiv preprint) | 2018-11-02 | Paper |
| Automatic verification of stability and safety for delay differential equations | 2018-03-01 | Paper |
| Safe over- and under-approximation of reachable sets for delay differential equations | 2017-12-01 | Paper |
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis
IEEE Transactions on Automatic Control | 2017-09-21 | Paper |
Measurability and safety verification for stochastic hybrid systems
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Temporal logic verification for delay differential equations
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Formal verification of Simulink/Stateflow diagrams
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Transformations for compositional verification of assumption-commitment properties
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Generalized Craig interpolation for stochastic satisfiability modulo theory problems
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Multi-objective parameter synthesis in probabilistic hybrid systems
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Combining decomposition and reduction for state space analysis of a self-stabilizing system
Journal of Computer and System Sciences | 2014-01-27 | Paper |
Confidence bounds for statistical model checking of probabilistic hybrid systems
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability
Logical Methods in Computer Science | 2012-07-03 | Paper |
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Crossing the Bridge between Similar Games
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
Nonlinear Analysis. Hybrid Systems | 2011-06-27 | Paper |
Generalized Craig interpolation for stochastic Boolean satisfiability problems
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
Take It NP-Easy: Bounded Model Construction for Duration Calculus
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Parallel SAT solving in bounded model checking
Journal Of Logic And Computation | 2011-02-02 | Paper |
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Resolution for stochastic Boolean satisfiability
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
| Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems | 2010-02-24 | Paper |
Revisiting decidability and optimum reachability for multi-priced timed automata
Lecture Notes in Computer Science | 2009-12-01 | Paper |
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
| scientific article; zbMATH DE number 5263038 (Why is no real title available?) | 2008-04-14 | Paper |
Deciding an Interval Logic with Accumulated Durations
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Formal Methods in System Design | 2007-05-31 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2242595 (Why is no real title available?) | 2006-01-02 | Paper |
A semantics for distributed execution of Statemate
Formal Aspects of Computing | 2005-02-08 | Paper |
Model-checking dense-time duration calculus
Formal Aspects of Computing | 2004-10-01 | Paper |
Visual temporal logic as a rapid prototyping tool
Computer Languages | 2002-05-01 | Paper |
| scientific article; zbMATH DE number 1424031 (Why is no real title available?) | 2000-03-23 | Paper |
A generalized notion of semantic independence
Information Processing Letters | 1997-02-28 | Paper |
