Timm Spork

According to our database, Timm Spork authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Model Checking Linear Temporal Logic with Standpoint Modalities.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains.

Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer

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

2024

A Spectrum of Approximate Probabilistic Bisimulations.

Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann

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