Sebastian Gurke

13 papers A 1B 3Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games.
TACAS (1)
Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold
2026 J jnl
Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games.
CoRR
Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold
2025 — conf
Approximating Fixpoints of Approximated Functions.
CAV (2)
Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2025 J jnl
Computing Approximated Fixpoints via Dampened Mann Iteration.
CoRR
Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold
2025 B conf
Quantitative Graded Semantics and Spectra of Behavioural Metrics.
CSL
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2024 B conf
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CONCUR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
2024 J jnl
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CoRR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
2024 A conf
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
STACS
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2024 — conf
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CMCS
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
2023 J jnl
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach.
CoRR
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2023 J jnl
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2023 B conf
Hennessy-Milner Theorems via Galois Connections.
CSL
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2022 J jnl
Hennessy-Milner Theorems via Galois Connections.
CoRR
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing