Formal Verification and Modeling in Human-Machine Systems
Papers from the 2014 AAAI Spring Symposium
Eric G. Mercer, Michael A. Goodrich, Neha Rungta, and Ellen J. Bass, Program Cochairs
Technical Report SS-14-02
Published by The AAAI Press, Palo Alto, California.
This technical report is also available in book format.
Contents
Committees
Eric G. Mercer
Preface
Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass
A Look at Probabilistic Gaussian Process, Bayes Net, and Classifier Models for Prediction and Verification of Human Supervisory Performance
Nisar Razzi Ahmed, Ewart de Visser, Tyler Shaw, Raja Parasuraman, Amira Mohammed-Amin, Mark Campbell
Explaining Verifier Traces with Explanation Based Learning
Daniel Bryce
State Event Models for the Formal Analysis of Human-Machine Interactions
Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou
Learning the Task Management Space of an Aircraft Approach Model
Joseph Krall, Tim Menzies, Misty Davies
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance
Célia Martinie, Philipe Palanque
An Interaction Fit Analysis Technique and its Applications
Christopher Allan Miller, Jeffrey Rye, Peggy Wu, Eric Engstrom
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation
Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Ait-Ameur, Mohamed Ahmed-Nacer
Modeling Human Workload in Unmanned Aerial Systems
J. J. Moore, R. Ivie, T. J. Gledhill, E. Mercer, M. A. Goodrich
Modeling Non-Functional Properties for Human-Machine Systems
Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior
Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia
Formal Verification of Safety-Critical User Interfaces: a space system case study
Manuel Sousa, José Creissac Campos, Miriam Alves, Michael D Harrison
Towards a Cognitively-Based Analytic Model of Human Control of Swarms
Seyed Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia Sycara, Stefano Bennati, Meeko Oishi
Formal Verification of an Autonomous Personal Robotic Assistant
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn
Verification of Human Driven Data-Centric Dynamic Systems
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
Work Representations for Evaluating and Modeling Human-Machine Systems
Dorrit Billman
An Approach to Generating Human-Computer Interfaces from Task Models
Matthew L. Bolton, Samaneh Ebrahimi
Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model
William J. Clancey, Chin Seah, Charlotte Linde, Michael G. Shafto, Neha S. Rungta
Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller
Mathhew A Clark, Kuldip S. Rattan
Multiagent Flight Control in Dynamic Environments with Cooperative Coevolutionary Algorithms
Mitchell Colby, Matt Knudson, Kagan Tumer
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles
Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques
Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein
Announced Strategy Types in Multiagent RL for Conflict-Avoidance in the National Airspace
Carrie Rebhuhn, Matt Knudson, Kagan Tumer
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.