Anne-Kathrin Schmuck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
6
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Universal Safety Controllers with Learned Prophecies. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2026 | AAAI | Incremental Data-Driven Policy Synthesis via Game Abstractions. | Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck |
| 2026 | TACAS | Concurrent Permissive Strategy Templates. | Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2025 | ATVA | Quantitative Strategy Templates. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | FOSSACS | Fair Quantitative Games. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | TACAS | Synthesis of Universal Safety Controllers. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | ATVA | Strategy Templates - Robust Certified Interfaces for Interacting Systems. | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | ATVA | A Decremental Algorithm for Fair Bchi Games. | Irmak Saglam, Anne-Kathrin Schmuck, Munko Tsyrempilon |
| 2024 | CAV | Localized Attractor Computations for Infinite-State Games. | Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak |
| 2024 | FOSSACS | Fair ω-Regular Games. | Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | TACAS | Most General Winning Secure Equilibria Synthesis in Graph Games. | Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | VMCAI | Solving Two-Player Games Under Progress Assumptions. | Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak |
| 2023 | CAV | Synthesizing Permissive Winning Strategy Templates for Parity Games. | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2023 | CAV | A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. | Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2023 | TACAS | Computing Adequately Permissive Assumptions for Synthesis. | Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2022 | TACAS | A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. | Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2019 | ATVA | Lazy Abstraction-Based Controller Synthesis. | Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
| 2019 | TACAS | Environmentally-Friendly GR(1) Synthesis. | Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck |