Caroline Lemke

Kontakt

Caroline Lemke

A02 3-338 (» Adress and map)

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

[email protected]

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
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}

Webmaster (Changed: 10 Sep 2025) | Kurz-URL:Shortlink: https://uole.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