Number of items: 3.
Conference or Workshop Item (A Paper)
Finkbeiner, Bernd and Mallik, Kaushik and Passing, Noemi and Schledjewski, Malte and Schmuck, Anne-Kathrin
(2022)
BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
Article
Mallik, Kaushik and Soudjani, Sadegh Esmaeil Zadeh and Schmuck, Anne-Kathrin and Majumdar, Rupak
(2017)
Compositional Construction of Finite State Abstractions for Stochastic Control Systems.
CoRR, abs/17.
Majumdar, Rupak and Mallik, Kaushik and Schmuck, Anne-Kathrin
(2016)
Compositional Synthesis of Finite State Abstractions.
CoRR, abs/16.
This list was generated on Thu Nov 21 13:06:42 2024 CET.