Constructing (Bi)similar finite state abstractions using asynchronous l-complete approximations. - Anne-Kathrin Schmuck; Jörg Raisch (CDC, 2014)

Simulation and bisimulation over multiple time scales in a behavioral setting. - Anne-Kathrin Schmuck; Jörg Raisch (MED, 2014)

Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. - Anne-Kathrin Schmuck; Sven Schneider 001; Jörg Raisch; Uwe Nestmann (WODES, 2014)

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. - Sven Schneider 001; Anne-Kathrin Schmuck; Uwe Nestmann; Jörg Raisch (WODES, 2014)

Asynchronous $l$-Complete Approximations. - Anne-Kathrin Schmuck; Jörg Raisch (CoRR, 2014)

Asynchronous I-complete approximations. - Anne-Kathrin Schmuck; Jörg Raisch (Syst. Control. Lett., 2014)

Comparing asynchronous l-complete approximations and quotient based abstractions. - Anne-Kathrin Schmuck; Paulo Tabuada; Jörg Raisch (CDC, 2015)

Dynamic Hierarchical Reactive Controller Synthesis. - Anne-Kathrin Schmuck; Rupak Majumdar (CoRR, 2015)

Building bridges in abstraction-based controller synthesis: advancing, combining, and comparing methods from computer and control. - Anne-Kathrin Schmuck (2015)

Supervisory controller synthesis for decomposable deterministic context free specification languages. - Kaushik Mallik; Anne-Kathrin Schmuck (WODES, 2016)

Compositional Synthesis of Finite State Abstractions. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (CoRR, 2016)

Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. - Anne-Kathrin Schmuck; Sven Schneider 001; Jörg Raisch; Uwe Nestmann (Discret. Event Dyn. Syst., 2016)

Compositional construction of finite state abstractions for stochastic control systems. - Kaushik Mallik; Sadegh Esmaeil Zadeh Soudjani; Anne-Kathrin Schmuck; Rupak Majumdar (CDC, 2017)

Dynamic hierarchical reactive controller synthesis. - Anne-Kathrin Schmuck; Rupak Majumdar; Adrian Leva (Discret. Event Dyn. Syst., 2017)

Lazy Abstraction-Based Control for Safety Specifications. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (CDC, 2018)

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (HSCC, 2018)

Lazy Abstraction-Based Control for Reachability. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (CoRR, 2018)

Lazy Abstraction-Based Controller Synthesis. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (ATVA, 2019)

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. - Yunjun Bai; Kaushik Mallik; Anne-Kathrin Schmuck; Damien Zufferey; Rupak Majumdar (CDC, 2019)

PGCD: robot programming and verification with geometry, concurrency, and dynamics. - Gregor B. Banusic; Rupak Majumdar; Marcus Pirron; Anne-Kathrin Schmuck; Damien Zufferey (ICCPS, 2019)

Environmentally-Friendly GR(1) Synthesis. - Rupak Majumdar; Nir Piterman; Anne-Kathrin Schmuck (TACAS (2), 2019)

Compositional Synthesis of Finite-State Abstractions. - Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani; Rupak Majumdar (IEEE Trans. Autom. Control., 2019)

Resilient Abstraction-Based Controller Design. - Stanly Samuel; Kaushik Mallik; Anne-Kathrin Schmuck; Daniel Neider (CDC, 2020)

On abstraction-based controller design with output feedback. - Rupak Majumdar; Necmiye Ozay; Anne-Kathrin Schmuck (HSCC, 2020)

Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. - Rupak Majumdar; Anne-Kathrin Schmuck (CoRR, 2020)

On the relation between reactive synthesis and supervisory control of non-terminating processes. - Anne-Kathrin Schmuck; Thomas Moor; Rupak Majumdar (Discret. Event Dyn. Syst., 2020)

Assume-Guarantee Distributed Synthesis. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Damien Zufferey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (ADHS, 2021)

Symbolic Control for Stochastic Systems via Parity Games. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (CoRR, 2021)

Abstraction-Based Output-Feedback Control with State-Based Specifications. - Anne-Kathrin Schmuck; Mehrdad Zareian (CoRR, 2021)

BOCoSy: Small but Powerful Symbolic Output-Feedback Control. - Bernd Finkbeiner; Kaushik Mallik; Noemi Passing; Malte Schledjewski; Anne-Kathrin Schmuck (HSCC, 2022)

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. - Tamajit Banerjee; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (TACAS (2), 2022)

Synthesizing Permissive Winning Strategy Templates for Parity Games. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (CAV (1), 2023)

A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. - Rupak Majumdar; Kaushik Mallik; Mateusz Rychlicki; Anne-Kathrin Schmuck; Sadegh Soudjani (CAV (3), 2023)

Solving Odd-Fair Parity Games. - Irmak Saglam; Anne-Kathrin Schmuck (FSTTCS, 2023)

Poster Abstract: Permissiveness for Strategy Adaptation. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (HSCC, 2023)

Poster Abstract: Towards Seamless Reactivity of Hybrid Control. - Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël M. Jungers (HSCC, 2023)

Poster Abstract: A Toolchain for Accelerated Symbolic Control. - Rupak Majumdar; Kaushik Mallik; Mateusz Rychlicki; Anne-Kathrin Schmuck; Sadegh Soudjani (HSCC, 2023)

Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. - Mehrdad Zareian; Anne-Kathrin Schmuck (HSCC, 2023)

Computing Adequately Permissive Assumptions for Synthesis. - Ashwani Anand; Kaushik Mallik; Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (2), 2023)

Context-triggered Abstraction-based Control Design. - Satya Prakash Nayak; Lucas Neves Egidio; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël M. Jungers (CoRR, 2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (CoRR, 2023)

Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. - Rupak Majumdar; Anne-Kathrin Schmuck (IEEE Trans. Autom. Control., 2023)

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. - Tamajit Banerjee; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (TheoretiCS, 2023)

Strategy Templates - Robust Certified Interfaces for Interacting Systems. - Ashwani Anand; Satya Prakash Nayak; Anne-Kathrin Schmuck (ATVA, 2024)

A Decremental Algorithm for Fair Büchi Games. - Irmak Saglam; Anne-Kathrin Schmuck; Munko Tsyrempilon (ATVA, 2024)

Localized Attractor Computations for Infinite-State Games. - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CAV (3), 2024)

Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach. - Amy Nejati; Anne-Kathrin Schmuck (CDC, 2024)

Fair ω-Regular Games. - Daniel Hausmann 001; Nir Piterman; Irmak Saglam; Anne-Kathrin Schmuck (FoSSaCS (1), 2024)

Contract-Based Distributed Logical Controller Synthesis. - Ashwani Anand; Anne-Kathrin Schmuck; Satya Prakash Nayak (HSCC, 2024)

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. - Ameneh Nejati; Satya Prakash Nayak; Anne-Kathrin Schmuck (HSCC, 2024)

Most General Winning Secure Equilibria Synthesis in Graph Games. - Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (3), 2024)

Solving Two-Player Games Under Progress Assumptions. - Anne-Kathrin Schmuck; K. S. Thejaswini; Irmak Saglam; Satya Prakash Nayak (VMCAI (1), 2024)

Localized Attractor Computations for Infinite-State Games (Full Version). - Anne-Kathrin Schmuck; Philippe Heim; Rayna Dimitrova; Satya Prakash Nayak (CoRR, 2024)

Fair Quantitative Games. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (FoSSaCS, 2025)

Synthesis of Universal Safety Controllers. - Bernd Finkbeiner; Niklas Metzger 001; Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (2), 2025)

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025. - Bernd Finkbeiner; Anne-Kathrin Schmuck; Satya Prakash Nayak; Niklas Metzger 001 (Zenodo, 2025)

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025. - Bernd Finkbeiner; Anne-Kathrin Schmuck; Satya Prakash Nayak; Niklas Metzger 001 (Zenodo, 2025)

Quantitative Strategy Templates. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (CoRR, 2025)

Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Anne-Kathrin Schmuck (CoRR, 2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics. - Mahdi Nazeri; Thom S. Badings; Anne-Kathrin Schmuck; Sadegh Soudjani; Alessandro Abate (CoRR, 2025)