Anne-Kathrin Schmuck

Identifiers

• name variant Anne-Kathrin Schmuck 0.60 · backfill

Papers (12)

1. MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents cs.CL · 2026 · author #4
2. Incremental Data-Driven Policy Synthesis via Game Abstractions cs.GT · 2025 · author #5
3. Doubly Fair Parity Games cs.GT · 2023 · author #4
4. Environmentally-friendly GR(1) Synthesis cs.LO · 2019 · author #3
5. Lazy Abstraction-Based Control for Safety Specifications cs.SY · 2018 · author #4
6. Compositional Construction of Finite State Abstractions for Stochastic Control Systems cs.SY · 2017 · author #3
7. Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems cs.SY · 2016 · author #2
8. Dynamic Hierarchical Reactive Controller Synthesis cs.SY · 2015 · author #1
9. Comparing Asynchronous $l$-Complete Approximations and Quotient Based Abstractions cs.SY · 2015 · author #1
10. Asynchronous $l$-Complete Approximations cs.SY · 2014 · author #1
11. Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations cs.SY · 2014 · author #1
12. Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting cs.SY · 2014 · author #1

Mentions

• 1402.5759 #1 · backfill · confidence 0.70 Anne-Kathrin Schmuck
• 1402.3506 #1 · backfill · confidence 0.70 Anne-Kathrin Schmuck
• 1402.3484 #1 · backfill · confidence 0.70 Anne-Kathrin Schmuck

Frequent Coauthors

• Rupak Majumdar 5 shared papers
• J\"org Raisch 4 shared papers
• Kaushik Mallik 3 shared papers
• Irmak Sa\u{g}lam 2 shared papers
• Nir Piterman 2 shared papers
• Sadegh Soudjani 2 shared papers
• Alessandro Abate 1 shared papers
• Ashwani Anand 1 shared papers
• Daniel Hausmann 1 shared papers
• Ivi Chatzi 1 shared papers
• Kyle Hsu 1 shared papers
• Mahdi Nazeri 1 shared papers
• Paulo Tabuada 1 shared papers
• Ritam Raha 1 shared papers
• Sadegh Esmaeil Zadeh Soudjani 1 shared papers