Daniel Basg\"oze

Identifiers

• name variant Daniel Basg\"oze 0.60 · backfill

Papers (1)

1. Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams cs.PL · 2026 · author #1

Mentions

• 2606.15043 #1 · arxiv_oai · confidence 0.70 Daniel Basg\"oze

Frequent Coauthors

• Joost-Pieter Katoen 1 shared papers
• Kevin Batz 1 shared papers
• Sebastian Junges 1 shared papers