Lukas Munser

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Satisfiability Modulo Theories

Asymptotic Stability

Formal Verification

Controller Design

Top Venues

Publications

Grigory Devadze, Lukas Munser, Stefan Streif
Extraction of a computer-certified SMT solver for nonlinear theories. ECC (2023)
Lukas Munser, Grigory Devadze, Stefan Streif
Synthesis of Lyapunov Functions using Formal Verification. CoRR (2021)
Lukas Munser, Arne-Jens Hempel, Grigory Devadze, Stefan Streif
Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering. CoRR (2020)