Hasan A. Poonawala | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Alessandro Abate
52 publications
Nils Jansen
46 publications
Marielle Stoelinga
21 publications
David Parker
20 publications
Thom Badings
5 publications
Licio Romao
5 publications
Thom S. Badings
4 publications
Benton Clark
1 publication
Varun Hariprasad
1 publication

research

∙ 03/21/2023

Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions

This paper develops a provably stable sensor-driven controller for path-...

0 Benton Clark, et al. ∙

research

∙ 01/04/2023

Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions

Controllers for dynamical systems that operate in safety-critical settin...

0 Thom Badings, et al. ∙

research

∙ 10/25/2021

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Controllers for autonomous systems that operate in safety-critical setti...

0 Thom S. Badings, et al. ∙

research

∙ 03/03/2021

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty

We study planning problems for continuous control systems with uncertain...

0 Thom S. Badings, et al. ∙