Anne-Kathrin Schmuck

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 55

Top Venues

CoRR

HSCC

CDC

Discret. Event Dyn. Syst.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games Under Progress Assumptions. VMCAI (1) (2024)
Satya Prakash Nayak, Anne-Kathrin Schmuck
Most General Winning Secure Equilibria Synthesis in Graph Games. TACAS (3) (2024)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair ømega-Regular Games. FoSSaCS (1) (2024)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games. CAV (3) (2024)
Satya Prakash Nayak, Anne-Kathrin Schmuck
Most General Winning Secure Equilibria Synthesis in Graph Games. CoRR (2024)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak
Localized Attractor Computations for Infinite-State Games (Full Version). CoRR (2024)
Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. HSCC (2024)
Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak
Contract-Based Distributed Logical Controller Synthesis. HSCC (2024)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC (2023)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. TACAS (2) (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Poster Abstract: Permissiveness for Strategy Adaptation. HSCC (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) (2023)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair $ω$-Regular Games. CoRR (2023)
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
Context-triggered Abstraction-based Control Design. CoRR (2023)
Mehrdad Zareian, Anne-Kathrin Schmuck
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. HSCC (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Synthesizing Permissive Winning Strategy Templates for Parity Games. CAV (1) (2023)
Rupak Majumdar, Anne-Kathrin Schmuck
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Trans. Autom. Control. 68 (1) (2023)
Irmak Saglam, Anne-Kathrin Schmuck
Solving Odd-Fair Parity Games. FSTTCS (2023)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2 (2023)
Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers
Poster Abstract: Towards Seamless Reactivity of Hybrid Control. HSCC (2023)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. CoRR (2023)
Irmak Saglam, Anne-Kathrin Schmuck
Solving Odd-Fair Parity Games. CoRR (2023)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games under Progress Assumptions. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Contract-Based Distributed Synthesis in Two-Objective Parity Games. CoRR (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Synthesizing Permissive Winning Strategy Templates for Parity Games. CoRR (2023)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. TACAS (2) (2022)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. CoRR (2022)
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC (2022)
Anne-Kathrin Schmuck, Mehrdad Zareian
Abstraction-Based Output-Feedback Control with State-Based Specifications. CoRR (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Control for Stochastic Systems via Parity Games. CoRR (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS (2021)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CDC (2020)
Rupak Majumdar, Anne-Kathrin Schmuck
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. CoRR (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CoRR (2020)
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
On Abstraction-Based Controller Design With Output Feedback. CoRR (2020)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey
Assume-Guarantee Distributed Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar
On the relation between reactive synthesis and supervisory control of non-terminating processes. Discret. Event Dyn. Syst. 30 (1) (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient abstraction-based controller design. HSCC (2020)
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
On abstraction-based controller design with output feedback. HSCC (2020)
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Environmentally-Friendly GR(1) Synthesis. TACAS (2) (2019)
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
Compositional Synthesis of Finite-State Abstractions. IEEE Trans. Autom. Control. 64 (6) (2019)
Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. CDC (2019)
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Environmentally-friendly GR(1) Synthesis. CoRR (2019)
Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey
PGCD: robot programming and verification with geometry, concurrency, and dynamics. ICCPS (2019)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Controller Synthesis. ATVA (2019)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Control for Reachability. CoRR (2018)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Control for Safety Specifications. CDC (2018)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. HSCC (2018)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Control for Safety Specifications. CoRR (2018)
Anne-Kathrin Schmuck, Rupak Majumdar, Adrian Leva
Dynamic hierarchical reactive controller synthesis. Discret. Event Dyn. Syst. 27 (2) (2017)
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. CoRR (2017)
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
Compositional construction of finite state abstractions for stochastic control systems. CDC (2017)
Kaushik Mallik, Anne-Kathrin Schmuck
Supervisory controller synthesis for decomposable deterministic context free specification languages. WODES (2016)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Compositional Synthesis of Finite State Abstractions. CoRR (2016)
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. Discret. Event Dyn. Syst. 26 (1) (2016)
Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. CoRR (2015)
Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
Comparing asynchronous l-complete approximations and quotient based abstractions. CDC (2015)
Anne-Kathrin Schmuck, Rupak Majumdar
Dynamic Hierarchical Reactive Controller Synthesis. CoRR (2015)
Anne-Kathrin Schmuck, Jörg Raisch
Constructing (Bi)similar finite state abstractions using asynchronous l-complete approximations. CDC (2014)
Anne-Kathrin Schmuck, Jörg Raisch
Simulation and bisimulation over multiple time scales in a behavioral setting. MED (2014)
Anne-Kathrin Schmuck, Jörg Raisch
Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations. CoRR (2014)
Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES (2014)
Anne-Kathrin Schmuck, Jörg Raisch
Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting. CoRR (2014)
Anne-Kathrin Schmuck, Jörg Raisch
Asynchronous I-complete approximations. Syst. Control. Lett. 73 (2014)
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES (2014)
Anne-Kathrin Schmuck, Jörg Raisch
Asynchronous $l$-Complete Approximations. CoRR (2014)

Anne-Kathrin Schmuck.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anne-Kathrin Schmuck