Two papers presented at workshops at ASE 2011 including one best paper
Created by scombefi, at November 14, 2011, at 02:30 PM
Two papers were accepted and presented at MALETS and JPF workshops which took place at ASE 2011. The MALETS paper is the best paper of the workshop.
Two papers resulting from the collaboration with NASA Ames were presented last week at the MALETS 2011 workshop and the JPF workshop 2011 which were satellite workshops of the ASE 2011 conference (Lawrence, KA, USA).
The paper presented at MALETS, entitled "Learning System Abstractions for Human Operators", has been designated as the best paper of the workshop.
The two papers:
- Learning System Abstractions for Human Operators
- A JavaPathfinder Extension to Analyse Human-Machine Interactions
Tags: -
Find It
Sections
Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences