Tom Jannik Biskup

According to our database, Tom Jannik Biskup authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

Proc. ACM Program. Lang., January, 2024