Sebastian Gurke

According to our database, Sebastian Gurke authored at least 11 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Software Artifact for "Computing Fixpoints of Learned Functions".

Florian Wittbold, Paolo Baldan, Barbara König, Sebastian Gurke

Dataset, January, 2026

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games.

Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Software Artifact for "Approximating Fixpoints of Approximated Functions".

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

Dataset, April, 2025

Computing Approximated Fixpoints via Dampened Mann Iteration.

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

CoRR, January, 2025

Quantitative Graded Semantics and Spectra of Behavioural Metrics.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

Approximating Fixpoints of Approximated Functions.

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.

Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

CoRR, 2023

Hennessy-Milner Theorems via Galois Connections.

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023