28 citations · 28 across the 1 of their papers we have counts for
2 papers
eess.SY2020
Resilient Abstraction-Based Controller Design
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the computation of resilient controllers for perturbed non-linear dynamical systems w.r.t. linear-time temporal logic specifications. We address this problem through th…
eess.SY2019★ 28 cited
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
We consider the policy synthesis problem for continuous-state controlled Markov processes evolving in discrete time, when the specification is given as a Büchi condition (visit a s…