As complex autonomous systems become increasingly ubiquitous, their deployment and
integration into our daily lives will become a significant endeavor. Human–machine trust …

Should digital technology be viewed as a new life form, sharing our ecosystem and
coevolving with us? Are humans defining technology, or is technology defining humans? In …

We study the problem of training sequential generative models for capturing coordinated
multi-agent trajectory behavior, such as offensive basketball gameplay. When modeling …

We formalize and analyze a new problem in formal language theory termed control
improvisation. Given a specification language, the problem is to produce an improviser, a …

We consider the maneuver planning problem for automated vehicles when they share the
road with human-driven cars and interact with each other using a finite set of maneuvers …

In many synthesis problems, it can be essential to generate implementations which not only
satisfy functional constraints but are also randomized to improve variety, robustness, or …

The increasing use of autonomy for safety-critical tasks, from operating power grids to
driving cars, has led to an acute need for reliable and secure systems. The ideal approach to …

Emerging distributed cyber-physical systems (CPSs) integrate a wide range of
heterogeneous components that need to be orchestrated in a dynamic environment. While …

This dissertation considers the problem of learning and teaching Boolean task
specifications, such as automata, using demonstrations. The resulting framework bridges …

High level declarative constraints provide a powerful (and popular) way to define and
construct control policies; however, most synthesis algorithms do not support specifying the …