Timm Spork

Identifiers

• name variant Timm Spork 0.60 · backfill

Papers (1)

1. Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata cs.FL · 2026 · author #3

Mentions

• 2606.21976 #3 · arxiv_oai · confidence 0.70 Timm Spork

Frequent Coauthors

• Christel Baier 1 shared papers
• Sascha Kl\"uppelholz 1 shared papers