Julia Butte
- Three-player Differential Game Logic
2026/07/24 by Julia Butte, André Platzer
Computer Science · #acm:03B70 #acm:34A38 #acm:91A06 #acm:91A25 #cs.GT #cs.LO #msc:03B70 #msc:34A38 #msc:91A06 #msc:91A25
- Virtual Process Dossier: A Process-Aware Data Catalogue
2026/07/30 by Lukas Kubelka, Alexander Bott, Frank Döhner +6
Computer Science · #cs.AI