activity
20182023
most citedOn the Opportunities and Risks of Foundation Models

2.3k citations · 2.5k across the 7 of their papers we have counts for

collaborators
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2018

Lazy Abstraction-Based Controller Synthesis

Kyle Hsu, Rupak Majumdar, Kaushik Mallik +1

We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-…

eess.SY2018

Lazy Abstraction-Based Control for Safety Specifications

Kyle Hsu, Rupak Majumdar, Kaushik Mallik +1

We present a lazy version of multi-layered abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against safety specifications. State-of-the…