16 citations · 17 across the 3 of their papers we have counts for
4 papers
A Deep Ensemble Multi-Agent Reinforcement Learning Approach for Air Traffic Control
Supriyo Ghosh, Sean Laguna, Shiau Hong Lim +2
Air traffic control is an example of a highly challenging operational problem that is readily amenable to human expertise augmentation via decision support technologies. In this pa…
Training Classifiers For Feedback Control
Hasan A. Poonawala, Niklas Lauffer, Ufuk Topcu
One approach for feedback control using high dimensional and rich sensor measurements is to classify the measurement into one out of a finite set of situations, each situation corr…
Robust commuter movement inference from connected mobile devices
Baoyang Song, Hasan Poonawala, Laura Wynter +1
The preponderance of connected devices provides unprecedented opportunities for fine-grained monitoring of the public infrastructure. However while classical models expect high qua…
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +4
Multi-objective verification problems of parametric Markov decision processes under optimality criteria can be naturally expressed as nonlinear programs. We observe that many of th…