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