Abstract

As data science becomes increasingly mainstream, there will be an ever-growing demand for data science tools that are more accessible, flexible, and scalable. In response to this demand, automated machine learning (AutoML) researchers have begun building systems that automate the [...]

Abstract

In this paper, we present our experience of using rich and detailed models of human activity in an existing socio-technical system in the domain of air traffic control to inform a use case-based specification of an enhanced future system, called DMAN. This work was carried out as [...]

Abstract

Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult computational or mathematical tradeoffs. This paper presents a flexible and extensible framework for constructing robust control [...]