Lukas Munser

According to our database¹, Lukas Munser authored at least 3 papers between 2020 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Extraction of a computer-certified SMT solver for nonlinear theories.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2023

2021

Synthesis of Lyapunov Functions using Formal Verification.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering.

[BibT_eX]

[DOI]

CoRR, 2020