Follow
Anne-Kathrin Schmuck
Anne-Kathrin Schmuck
Verified email at mpi-sws.org
Title
Cited by
Cited by
Year
Multi-layered abstraction-based controller synthesis for continuous-time systems
K Hsu, R Majumdar, K Mallik, AK Schmuck
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
662018
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
62*2018
On abstraction-based controller design with output feedback
R Majumdar, N Ozay, AK Schmuck
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
292020
On the relation between reactive synthesis and supervisory control of non-terminating processes
AK Schmuck, T Moor, R Majumdar
Discrete Event Dynamic Systems 30 (1), 81-124, 2020
252020
Environmentally-friendly GR (1) synthesis
R Majumdar, N Piterman, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2019
232019
Lazy abstraction-based control for safety specifications
K Hsu, R Majumdar, K Mallik, AK Schmuck
2018 IEEE Conference on Decision and Control (CDC), 4902-4907, 2018
192018
Symbolic qualitative control for stochastic systems via finite parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
IFAC-PapersOnLine 54 (5), 127-132, 2021
182021
Assume–guarantee distributed synthesis
R Majumdar, K Mallik, AK Schmuck, D Zufferey
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
182020
Asynchronous l-complete approximations
AK Schmuck, J Raisch
Systems & Control Letters 73, 67-75, 2014
182014
Comparing asynchronous l-complete approximations and quotient based abstractions
AK Schmuck, P Tabuada, J Raisch
2015 54th IEEE Conference on Decision and Control (CDC), 6823-6829, 2015
172015
Compositional construction of finite state abstractions for stochastic control systems
K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 550-557, 2017
142017
Resilient abstraction-based controller design
S Samuel, K Mallik, AK Schmuck, D Neider
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
132020
PGCD: robot programming and verification with geometry, concurrency, and dynamics
GB Banusić, R Majumdar, M Pirron, AK Schmuck, D Zufferey
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
122019
Distributed Kalman filter algorithms for self-localization of mobile devices
AK Hess, A Rantzer
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
122010
Symbolic control for stochastic systems via finite parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
Nonlinear Analysis: Hybrid Systems 51, 101430, 2024
10*2024
Fast symbolic algorithms for omega-regular games under strong transition fairness
T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani
TheoretiCS 2, 2023
102023
A direct symbolic algorithm for solving stochastic Rabin games
T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani
International Conference on Tools and Algorithms for the Construction and …, 2022
102022
Supervisory controller synthesis for nonterminating processes is an obliging game
R Majumdar, AK Schmuck
IEEE Transactions on Automatic Control 68 (1), 385-392, 2022
82022
Supervisory control synthesis for deterministic context free specification languages: Enforcing controllability least restrictively
AK Schmuck, S Schneider, J Raisch, U Nestmann
Discrete Event Dynamic Systems 26, 5-32, 2016
82016
Computing adequately permissive assumptions for synthesis
A Anand, K Mallik, SP Nayak, AK Schmuck
International Conference on Tools and Algorithms for the Construction and …, 2023
62023
The system can't perform the operation now. Try again later.
Articles 1–20