Anne-Kathrin Schmuck

Available identifiers

zbMath Open schmuck.anne-kathrinMaRDI QIDQ262423

List of research outcomes

Publication	Date of Publication	Type
Fair \(\omega \)-regular games	2024-10-30	Paper
Fast symbolic algorithms for omega-regular games under strong transition fairness	2024-07-03	Paper
Computing adequately permissive assumptions for synthesis	2024-04-05	Paper
Symbolic control for stochastic systems via finite parity games	2024-03-01	Paper
BOCoSy: Small but Powerful Symbolic Output-Feedback Control	2024-02-21	Paper
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications	2024-02-21	Paper
Poster Abstract: Towards Seamless Reactivity of Hybrid Control	2024-02-21	Paper
Poster Abstract: A Toolchain for Accelerated Symbolic Control	2024-02-21	Paper
Poster Abstract: Permissiveness for Strategy Adaptation	2024-02-21	Paper
A direct symbolic algorithm for solving stochastic Rabin games	2024-02-01	Paper
Synthesizing permissive winning strategy templates for parity games	2024-02-01	Paper
A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties	2024-02-01	Paper
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game	2023-09-04	Paper
On abstraction-based controller design with output feedback	2021-01-25	Paper
Resilient abstraction-based controller design	2021-01-25	Paper
Lazy Abstraction-Based Controller Synthesis	2020-07-20	Paper
On the relation between reactive synthesis and supervisory control of non-terminating processes	2020-05-06	Paper
Compositional Synthesis of Finite-State Abstractions	2019-07-18	Paper
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems	2018-12-06	Paper
Dynamic hierarchical reactive controller synthesis	2018-01-31	Paper
Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively	2016-03-29	Paper
Asynchronous \(l\)-complete approximations	2014-10-27	Paper

Research outcomes over time

This page was built for person: Anne-Kathrin Schmuck