Three papers by SIFT researchers accepted for presentation at the AAAI Spring Symposia Series
Three papers by SIFT researchers have been accepted for presentation at the AAAI Spring Symposia Series to be held in Palo Alto, CA on March 24-26:
- Christopher Miller will present his paper “Trust and Delegation: Achieving Robust Interactions with Subordinates,” which discusses the role of delegation interactions with automation, in the symposium on The Intersection of Robust Intelligence and Trust in Autonomous Systems.
- Eric Engstrom will present “An Interaction Fit Analysis Technique and its Applications” by Christopher Miller, Jeffrey Rye, Peggy Wu, and Eric Engstrom, which reports SIFT work developing the MAID (see our ~/demos page) tool for NASA and the U.S. Navy, in the symposium on Formal Verification and Modeling in Human-Machine Systems.
- Dan Bryce will present his paper “Explaining verifier traces with EBL,” which discusses how to create succinct explanations of root causes and unique events in probabilistic counter-examples, in the symposium on Formal Verification and Modeling in Human-Machine Systems.
(31 January 2014)