Proceedings of the symposium
are available
here.
Monday March 24, 2014
09:15h - 09:30h Opening remarks
09:30 - 10:30
Amy Prichett, Georgia Tech. Invited Speaker.
Modeling the Pilot's Interaction with TCAS as an Expert Fallible Machine
10:30h - 11:00h Break
11:00h - 12:00h Validation
- Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay and Kerstin Dautenhahn.
Formal Verification of an Autonomous Personal Robotic Assistant.
- Joseph Krall, Tim Menzies and Misty Davies.
Learning the Task Management Space of an Aircraft Approach Model
12:00h - 13:30h Lunch
13:30h - 15:15h
Panel: Modeling Hurts
- Mike Feary, NASA Ames
- Marc Steinberg, ONR
- Dimitra Giannakopoulou, NASA Ames
- Ellen Bass, Drexel University
- Emilie M. Roth, Roth Cognitive Engineering
15:15h - 15:30h Break
15:30h - 16:30h Poster session #1 (Coffee Served)
- Laura Humphrey, Eric Wolff and Ufuk Topcu.
Formal Specification and Synthesis of UAV Mission Plans
- William Clancey, Chin Seah, Charlotte Linde, Michael Shafto and Neha Rungta.
Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized Überlingen Model
- Dorrit Billman.
Work Representations for Evaluating and Modeling Human-Machine Systems
- Carrie Rebhuhn, Matt Knudson and Kagan Tumer.
UAS Conflict-Avoidance Using Multiagent RL with Abstract Strategy Type Communication
- Mitch Colby, Matt Knudson and Kagan Tumer.
Multiagent Flight Control in Dynamic Environments with Cooperative Coevolutionary Algorithms
16:30h - 17:00h Breakout Groups
17:00h - 18:00h Poster session #2
- Matthew Bolton and Samaneh Ebrahimi.
An Approach to Generating Human-computer Interfaces from Task Models
- Matthew Clark and Kuldip Rattan.
Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller
- Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch and Marco Montali.
Verification of Human Driven Data-Centric Dynamic Systems
- Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi and Yuri Yushtein.
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques
Tuesday March 25, 2014
09:00h - 10:00h
Philippe Palanque, University Toulouse. Invited Speaker.
Engineering Interactive Critical Systems: How to Reach Multiple Targets such as Usability, Dependability and Safety?
10:00h - 10:30h Extended break/Breakout Group
10:30h - 12:00h Breakout Group Presentations and Discussion
12:00h - 13:45h Lunch
13:45h - 15:30h Modeling
- Arunkumar Ramaswamy, Bruno Monsuez and Adriana Tapus.
Modeling Non-Functional Properties for Human-Machine Systems
- Linda Mohand Oussaïd, Idir Ait Sadoune and Yamine Ait Ameur.
Formal modelling of output multimodal HCI in Event-B. Modalities and media allocation
- Jared Moore, Robert Ivie, Tj Gledhill, Eric Mercer and Michael Goodrich.
Modeling Human Workload in Unmanned Aerial Systems
- Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia Sycara, Stefano Bennati and Meeko Oishi.
Towards a Cognitively-based Analytic Model of Human Control of Swarms
15:30h - 16:00h Break
16:00h - 17:30h Verification & Analysis of Human Machine Systems
- Nisar Ahmed and Mark Campbell.
A Look at Probabilistic Gaussian Process, Bayes Net, and Classifier Models for Prediction and Verification of Human Supervisory Performance
- Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry and Sanjit A. Seshia.
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior
- Daniel Bryce.
Explaining Verifier Traces with Explanation Based Learning
- Christopher Miller, Jeffrey Rye, Peggy Wu and Eric Engstrom.
An Interaction Fit Analysis Technique and its Applications
18:00h - 19:30h AAAI Spring Symposium Plenary Session
Wednesday March 26, 2014
09:30h - 10:30h
Christian Lebiere, CMU. Invited Speaker.
Combining instructions and examples in developing cognitive models of
human-system interaction
10:30h - 11:00h Break
11:00h - 12:30h User Interfaces
- Célia Martinie and Philippe Palanque.
Fine grained modeling of task deviations for assessing the impact of both system failures and human error on qualitative human performance
- Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves and Michael Harrison.
Formal Verification of Safety-Critical User Interfaces: a space systems case study
-
Sébastien Combéfis, Dimitra Giannakopoulou and Charles Pecheur.
State Event Models for the Formal Analysis of Human-Machine Interactions
12:30h - 12:45h Closing Remarks
