Caroline Lemke

Kontakt

Caroline Lemke

A02 3-338 (» Adress and map)

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Caroline Lemke

Forschungsinteressen

Verifikation
Spiele und Automaten
Verantwortung
Linearisierbarkeit

Caroline Lemke

Lectures

Winter term 2025 / 2026

2.01.801-B Forschungsseminar Formale Methoden

2.01.803 Interactive Theorem Proving

Publications

[article] bibtex | Go to document
L. A. Barthel, L. M. Hübner, C. Lemke, K. P. P. Mattes, L. Mollenkopf, and B. Bisping, "The Weak Spectroscopy Game to Characterize Behavioral Equivalences" Archive of Formal Proofs. 2025.
@article{Weak_Spectroscopy-AFP, author = {Lisa A. Barthel and Leonard M. Hübner and Caroline Lemke and Karl P. P. Mattes and Lenard Mollenkopf and Benjamin Bisping}, title = {The Weak Spectroscopy Game to Characterize Behavioral Equivalences}, journal = {Archive of Formal Proofs}, month = {November}, year = {2025}, url = {https://isa-afp.org/entries/Weak_Spectroscopy.html}, note = {Formal proof development}, ISSN = {2150-914x}, }
[article] bibtex | Go to document
C. Lemke, "Galois Energy Games" Archive of Formal Proofs. 2025.
@article{Galois_Energy_Games-AFP, author = {Caroline Lemke}, title = {Galois Energy Games}, journal = {Archive of Formal Proofs}, month = {May}, year = {2025}, url = {https://isa-afp.org/entries/Galois_Energy_Games.html}, note = {Formal proof development}, ISSN = {2150-914x}, }
[inproceedings] bibtex | Go to document
C. Lemke and B. Bisping, "Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems" in Proc. 36th International Conference on Concurrency Theory (CONCUR 2025), Dagstuhl, Germany, 2025.
doi: 10.4230/LIPIcs.CONCUR.2025.29
@InProceedings{lemke_et_al:LIPIcs.CONCUR.2025.29, author = {Lemke, Caroline and Bisping, Benjamin}, title = {{Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems}}, booktitle = {36th International Conference on Concurrency Theory (CONCUR 2025)}, pages = {29:1--29:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-389-8}, ISSN = {1868-8969}, year = {2025}, volume = {348}, editor = {Bouyer, Patricia and van de Pol, Jaco}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.29}, URN = {urn:nbn:de:0030-drops-239795}, doi = {10.4230/LIPIcs.CONCUR.2025.29}, annote = {Keywords: Energy games, Galois connection, Reachability, Game theory, Decidability}

(Changed: 12 Dec 2025) | Kurz-URL:Shortlink: https://uol.de/p110914en

Sprache wechseln

Change Language

Hell-/Dunkelmodus

Light mode / Dark mode

Caroline Lemke

Kontakt

Caroline Lemke

Sekretariat

Caroline Lemke

Forschungsinteressen

Caroline Lemke

Lectures

Publications