No. 2: Formal Verification and Modeling in Human-Machine Systems
All Papers
Announced Strategy Types in Multiagent RL for Conflict-Avoidance in the National Airspace
PDFFormal Verification of Safety-Critical User Interfaces: a space system case study
PDFA Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques
PDFFormal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles
PDFMultiagent Flight Control in Dynamic Environments with Cooperative Coevolutionary Algorithms
PDFPiecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller
PDFWork Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model
PDFAn Approach to Generating Human-Computer Interfaces from Task Models
PDFWork Representations for Evaluating and Modeling Human-Machine Systems
PDFVerification of Human Driven Data-Centric Dynamic Systems
PDFFormal Verification of an Autonomous Personal Robotic Assistant
PDFTowards a Cognitively-Based Analytic Model of Human Control of Swarms
PDFData-Driven Probabilistic Modeling and Verification of Human Driver Behavior
PDFModeling Non-Functional Properties for Human-Machine Systems
PDFModeling Human Workload in Unmanned Aerial Systems
PDFFormal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation
PDFAn Interaction Fit Analysis Technique and its Applications
PDFFine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance
PDFLearning the Task Management Space of an Aircraft Approach Model
PDFState Event Models for the Formal Analysis of Human-Machine Interactions
PDFExplaining Verifier Traces with Explanation Based Learning
PDFCommittees
PDFA Look at Probabilistic Gaussian Process, Bayes Net, and Classifier Models for Prediction and Verification of Human Supervisory Performance
PDFPreface
PDF