Introduction to Interval Analysis

• Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  citations
• Numerical simulation of differential-algebraic equations with embedded global optimization criteria

  2024 Optimization methods & software article Mathematics Numerical methods for differential equations Open access

  0

  citations
• Towards Sobolev Pruning

  2024 Platform for Advanced Scientific Computing Conference (PASC) conference-paper Physics and Astronomy Model Reduction and Neural Networks Open access

  0

  citations
• Subdomain separability in global optimization

  2022 Journal of Global Optimization article Mathematics Advanced Optimization Algorithms Research Open access

  1

  citations
• Recent developments in theory and tool support for hybrid systems verification with HyPro

  2022 Information and Computation article Computer Science Formal Methods in Verification Open access

  6

  citations
• Robot Swarms as Hybrid Systems: Modelling and Verification

  2022 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

  3

  citations
• Foundations of probabilistic programming

  2021 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

  0

  citations

7 results