Anne-Kathrin Schmuck

Identifiers

• name variant Anne-Kathrin Schmuck 0.60 · backfill

Papers (13)

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 Controller Synthesis eess.SY · 2018 · author #4
6. Lazy Abstraction-Based Control for Safety Specifications cs.SY · 2018 · author #4
7. Compositional Construction of Finite State Abstractions for Stochastic Control Systems cs.SY · 2017 · author #3
8. Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems cs.SY · 2016 · author #2
9. Dynamic Hierarchical Reactive Controller Synthesis cs.SY · 2015 · author #1
10. Comparing Asynchronous $l$-Complete Approximations and Quotient Based Abstractions cs.SY · 2015 · author #1
11. Asynchronous $l$-Complete Approximations cs.SY · 2014 · author #1
12. Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations cs.SY · 2014 · author #1
13. Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting cs.SY · 2014 · author #1

Mentions

• 1804.02722 #4 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1804.02666 #4 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1709.09546 #3 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1612.08515 #2 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1510.07246 #1 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1503.07139 #1 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1402.5759 #1 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1402.3506 #1 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1402.3484 #1 · arxiv_oai · confidence 0.70 Anne-Kathrin Schmuck
• 1503.07139 #1 · backfill · confidence 0.70 Anne-Kathrin Schmuck
• 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 6 shared papers
• J\"org Raisch 4 shared papers
• Kaushik Mallik 4 shared papers
• Irmak Sa\u{g}lam 2 shared papers
• Kyle Hsu 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
• Mahdi Nazeri 1 shared papers
• Paulo Tabuada 1 shared papers
• Ritam Raha 1 shared papers
• Sadegh Esmaeil Zadeh Soudjani 1 shared papers