Anne-Kathrin Schmuck

88 papers A* 2B 5Journal 43Unranked 37
YearRankTypeTitle / Venue / Authors
2026 — conf
Concurrent Permissive Strategy Templates.
TACAS (1)
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 J jnl
Concurrent Permissive Strategy Templates.
CoRR
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 A* conf
Incremental Data-Driven Policy Synthesis via Game Abstractions.
AAAI
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2026 A* conf
Universal Safety Controllers with Learned Prophecies.
AAAI
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Context-Triggered Contingency Games for Strategic Multi-Agent Interaction.
CoRR
Kilian Schweppe, Anne-Kathrin Schmuck
2025 — conf
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CDC
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CoRR
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 — conf
Distributed Contract Negotiation for Decentralised Supervisory Control beyond Two-Component Architectures.
CDC
Ana Maria Mainhardt, Anne-Kathrin Schmuck
2025 B conf
Fair Quantitative Games.
FoSSaCS
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Fair Quantitative Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck
2025 J jnl
Incremental Data-Driven Policy Synthesis via Game Abstractions.
CoRR
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2025 J jnl
Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop.
CoRR
Oz Gitelson, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck
2025 B conf
Quantitative Strategy Templates.
ATVA
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Quantitative Strategy Templates.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 — conf
Synthesis of Universal Safety Controllers.
TACAS (2)
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Synthesis of Universal Safety Controllers.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 J jnl
Universal Safety Controllers with Learned Prophecies.
CoRR
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 B conf
A Decremental Algorithm for Fair Büchi Games.
ATVA
Irmak Saglam, Anne-Kathrin Schmuck, Munko Tsyrempilon
2024 — conf
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.
HSCC
Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 — conf
Contract-Based Distributed Logical Controller Synthesis.
HSCC
Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak
2024 — conf
Fair ω-Regular Games.
FoSSaCS (1)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2024 J jnl
Localized Attractor Computations for Infinite-State Games (Full Version).
CoRR
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 — conf
Localized Attractor Computations for Infinite-State Games.
CAV (3)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
2024 — conf
Most General Winning Secure Equilibria Synthesis in Graph Games.
TACAS (3)
Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 J jnl
Most General Winning Secure Equilibria Synthesis in Graph Games.
CoRR
Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 — conf
Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach.
CDC
Amy Nejati, Anne-Kathrin Schmuck
2024 — conf
Solving Two-Player Games Under Progress Assumptions.
VMCAI (1)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2024 B conf
Strategy Templates - Robust Certified Interfaces for Interacting Systems.
ATVA
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 — conf
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.
CAV (3)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 — conf
Computing Adequately Permissive Assumptions for Synthesis.
TACAS (2)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Computing Adequately Permissive Assumptions for Synthesis.
CoRR
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Context-triggered Abstraction-based Control Design.
CoRR
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
2023 J jnl
Contract-Based Distributed Synthesis in Two-Objective Parity Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Fair ω-Regular Games.
CoRR
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2023 J jnl
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
TheoretiCS
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 — conf
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications.
HSCC
Mehrdad Zareian, Anne-Kathrin Schmuck
2023 — conf
Poster Abstract: A Toolchain for Accelerated Symbolic Control.
HSCC
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 — conf
Poster Abstract: Permissiveness for Strategy Adaptation.
HSCC
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 — conf
Poster Abstract: Towards Seamless Reactivity of Hybrid Control.
HSCC
Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
2023 — conf
Solving Odd-Fair Parity Games.
FSTTCS
Irmak Saglam, Anne-Kathrin Schmuck
2023 J jnl
Solving Odd-Fair Parity Games.
CoRR
Irmak Saglam, Anne-Kathrin Schmuck
2023 J jnl
Solving Two-Player Games under Progress Assumptions.
CoRR
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2023 J jnl
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game.
IEEE Trans. Autom. Control.
Rupak Majumdar, Anne-Kathrin Schmuck
2023 — conf
Synthesizing Permissive Winning Strategy Templates for Parity Games.
CAV (1)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Synthesizing Permissive Winning Strategy Templates for Parity Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
2022 — conf
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.
TACAS (2)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2022 — conf
BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
HSCC
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
2022 J jnl
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
CoRR
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021 J jnl
Abstraction-Based Output-Feedback Control with State-Based Specifications.
CoRR
Anne-Kathrin Schmuck, Mehrdad Zareian
2021 J jnl
Symbolic Control for Stochastic Systems via Parity Games.
CoRR
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021 — conf
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games.
ADHS
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2020 J jnl
Assume-Guarantee Distributed Synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey
2020 J jnl
On Abstraction-Based Controller Design With Output Feedback.
CoRR
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
2020 — conf
On abstraction-based controller design with output feedback.
HSCC
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
2020 J jnl
On the relation between reactive synthesis and supervisory control of non-terminating processes.
Discret. Event Dyn. Syst.
Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar
2020 — conf
Resilient Abstraction-Based Controller Design.
CDC
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020 J jnl
Resilient Abstraction-Based Controller Design.
CoRR
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020 — conf
Resilient abstraction-based controller design.
HSCC
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020 J jnl
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game.
CoRR
Rupak Majumdar, Anne-Kathrin Schmuck
2019 J jnl
Compositional Synthesis of Finite-State Abstractions.
IEEE Trans. Autom. Control.
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
2019 — conf
Environmentally-Friendly GR(1) Synthesis.
TACAS (2)
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
2019 J jnl
Environmentally-friendly GR(1) Synthesis.
CoRR
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
2019 — conf
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.
CDC
Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar
2019 B conf
Lazy Abstraction-Based Controller Synthesis.
ATVA
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2019 — conf
PGCD: robot programming and verification with geometry, concurrency, and dynamics.
ICCPS
Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey
2018 J jnl
Lazy Abstraction-Based Control for Reachability.
CoRR
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018 — conf
Lazy Abstraction-Based Control for Safety Specifications.
CDC
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018 J jnl
Lazy Abstraction-Based Control for Safety Specifications.
CoRR
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018 — conf
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems.
HSCC
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2017 J jnl
Compositional Construction of Finite State Abstractions for Stochastic Control Systems.
CoRR
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017 — conf
Compositional construction of finite state abstractions for stochastic control systems.
CDC
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017 J jnl
Dynamic hierarchical reactive controller synthesis.
Discret. Event Dyn. Syst.
Anne-Kathrin Schmuck, Rupak Majumdar, Adrian Leva
2016 J jnl
Compositional Synthesis of Finite State Abstractions.
CoRR
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2016 J jnl
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively.
Discret. Event Dyn. Syst.
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
2016 — conf
Supervisory controller synthesis for decomposable deterministic context free specification languages.
WODES
Kaushik Mallik, Anne-Kathrin Schmuck
2015 — —
Building bridges in abstraction-based controller synthesis: advancing, combining, and comparing methods from computer and control.
Anne-Kathrin Schmuck
2015 J jnl
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions.
CoRR
Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
2015 — conf
Comparing asynchronous l-complete approximations and quotient based abstractions.
CDC
Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
2015 J jnl
Dynamic Hierarchical Reactive Controller Synthesis.
CoRR
Anne-Kathrin Schmuck, Rupak Majumdar
2014 J jnl
Asynchronous $l$-Complete Approximations.
CoRR
Anne-Kathrin Schmuck, Jörg Raisch
2014 J jnl
Asynchronous I-complete approximations.
Syst. Control. Lett.
Anne-Kathrin Schmuck, Jörg Raisch
2014 J jnl
Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations.
CoRR
Anne-Kathrin Schmuck, Jörg Raisch
2014 — conf
Constructing (Bi)similar finite state abstractions using asynchronous l-complete approximations.
CDC
Anne-Kathrin Schmuck, Jörg Raisch
2014 — conf
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively.
WODES
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
2014 — conf
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata.
WODES
Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch
2014 J jnl
Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting.
CoRR
Anne-Kathrin Schmuck, Jörg Raisch
2014 — conf
Simulation and bisimulation over multiple time scales in a behavioral setting.
MED
Anne-Kathrin Schmuck, Jörg Raisch