Biskup, Tom Jannik
4  results:
Search for persons X
?
1

Programmatic Strategy Synthesis: Resolving Nondeterminism i..:

Batz, Kevin ; Biskup, Tom Jannik ; Katoen, Joost-Pieter.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2792-2820 , 2024
 
1-4