Projects

Running research projects

SMT-RAT: SAT-Modulo-Theories Real Arithmetic Toolbox
CArL: Computer ARithmetic Library
HyPro II: A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations (German Research Council)
Optimal Plans with Optimization Modulo Theories
Safety Verification for Mixed Discrete-Continuous Automotive systems (industrial project with Ford)
Research Training Group UnRAVeL: UNcertainty and Randomness in Algorithms, VErification and Logic (Research Training Group)
CAP Sino-German Project
Embedding Machine Learning within Quantifier Elimination Procedures

Previous research projects

SC-Square: Satisfiability Checking and Symbolic Computation (H2020-FETOPEN CSA)
Optimizing the Performance of Robot Fleets in Production Logistics Scenarios using SMT (RWTH Seed Funds)
Simulink Formal Verification (industrial project with Ford)
HyPro I: A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations (German Research Council)
SMT4ABS: Combining SMT Solving with Type Checking for Real-Time ABS Programs (DAAD ppp)
OASys: Online Algorithms for Optimal Control of Hybrid Propulsion Systems (German Research Council)
CEBug: Counter Example Generation for Stochastic Systems using Bounded Model Checking (German Research Council)
HySmart: Hybrid Systems Modeling and Analysis with Rewriting Techniques (DAAD ppp)
AlgoSyn: Algorithmic synthesis of reactive and discrete-continuous systems (Research Training Group)
ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (Dutch-German Bilateral Cooperation Program)