activity
20172023
most citedRobust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions

32 citations · 76 across the 8 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2021★ 1 cited

Correct-by-construction reach-avoid control of partially observable linear stochastic systems

Thom Badings, Hasan A. Poonawala, Marielle Stoelinga +1

We study feedback controller synthesis for reach-avoid control of discrete-time, linear time-invariant (LTI) systems with Gaussian process and measurement noise. The problem is to…