Anne-Kathrin Schmuck
Scholar

Anne-Kathrin Schmuck

Google Scholar ID: DkYYtGIAAAAJ
MPI SWS
Google Scholar↗
Citations & Impact
All-time
Citations
580
 
H-index
15
 
i10-index
21
 
Publications
20
 
Co-authors
10
list available
Publications
13 items
Towards Actionable Strategy Certificates in Stochastic Parity Games
2026
Cited
0
Sound Probabilistic Safety Bounds for Large Language Models
2026
Cited
0
MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
2026
Cited
0
Concurrent Permissive Strategy Templates
2026
Cited
0
Context-Triggered Contingency Games for Strategic Multi-Agent Interaction
2025
Cited
0
Universal Safety Controllers with Learned Prophecies
2025
Cited
0
Incremental Data-Driven Policy Synthesis via Game Abstractions
2025
Cited
0
Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop
2025
Cited
0
Co-authors
6 total
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Kaushik Mallik
Kaushik Mallik
IMDEA Software Institute
Sadegh Soudjani
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Joerg Raisch
Joerg Raisch
Professor of Control Systems, Technische Universitaet Berlin
Kyle Hsu
Kyle Hsu
Stanford University
Nir Piterman
Nir Piterman
Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden