Braulio Coronado, Eric Gustafson, John Reeder, Douglas S. Lange. Mixing Formal Methods, Machine Learning, and Human Interaction Through an Autonomics Framework. In 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016. AAAI Press, 2016. [doi]
Abstract is missing.