Login / Signup
Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction.
Matthew L. Bolton
Noelia Jimenez
Marinus Maria van Paassen
Maite Trujillo
Published in:
IEEE Trans. Hum. Mach. Syst. (2014)
Keyphrases
</>
formal verification
automatically generating
model checking
probabilistic model
model checker
automatically generated
computational models
human interaction
formal language
graph theory
bounded model checking
temporal logic
metamodel
human robot interaction
automated verification