SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

• A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic

  2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation Open access

  3

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• SMT: Something You Must Try

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

  1

  citations
• FMplex: A Novel Method for Solving Linear Real Arithmetic Problems

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

  5

  citations
• Subtropical Satisfiability for SMT Solving

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

  1

  citations
• Experiments with Automated Reasoning in the Class

  2022 Lecture notes in computer science conference-paper Computer Science Teaching and Learning Programming Open access

  1

  citations
• Extending the Fundamental Theorem of Linear Programming for Strict Inequalities

  2021 International Symposium on Symbolic and Algebraic Computation conference-paper Mathematics Advanced Optimization Algorithms Research

  2

  citations
• Algorithmic Reduction of Biological Networks with Multiple Time Scales

  2021 Mathematics in Computer Science article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

  9

  citations
• The probabilistic model checker Storm

  2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  246

  citations
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings

  2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access

  34

  citations
• Abstract domains in SMT solving for real algebra (invited talk)

  2020 conference-abstract Computer Science Polynomial and algebraic computation

  0

  citations
• Optimal Planning Modulo Theories

  2020 International Joint Conference on Artificial Intelligence conference-paper Computer Science AI-based Problem Solving and Planning Open access

  20

  citations
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations

13 results