The goal of the workshop is to bring together the fields of formal verification, cognitive modeling, and task analysis to study the design and verification of real fieldable human-machine systems. Recent papers in each of these communities discuss modeling challenges and the application of basic formal verification in human-machine interaction; however, there is little communication between researchers in these different areas and there are many open questions that require cross-disciplinary collaboration. The workshop is to bring together experts from many communities in an environment where it is possible to explore key research areas, common solutions, near-term research problems, and advantages in combining the best of the different communities.
- Programming languages
- State Machines
- Activity models (e.g. Brahams)
- Cognitive models (SOAR, ACT-R, DIARC, etd.)
- Task analyses-based models (GDTA, CWA, etc.)
- Probabilistic models
- Behavioral game theory
The symposium will consist of presentations of relevant current work and position papers. We will have invited talks from leaders in the field, working groups, and a panel to foster a general discussion of issues. The symposium is intended to serve as a springboard for the emerging research direction on this very important and useful problem.