Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs

ISSN： 1614-5046

Source： Innovations in Systems and Software Engineering, Vol.6, Iss.3, 2010-09, pp. : 219-231

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Spoken language interaction with model uncertainty: an adaptive human-robot interaction system

By Doshi Finale

Connection Science, Vol. 20, Iss. 4, 2008-12 ,pp. : 299-318

Taylor & Francis Ltd

Access to resources Recommend Favorite

An interaction model between human and system for intuitive graphical search interface

By Kajiyama Tomoko Satoh Shin’ichi

Knowledge and Information Systems, Vol. 39, Iss. 1, 2014-04 ,pp. : 41-60

Springer Publishing Company

Access to resources Recommend Favorite

Verifying Multi-agent Programs by Model Checking

By Bordini Rafael

Autonomous Agents and Multi-Agent Systems, Vol. 12, Iss. 2, 2006-03 ,pp. : 239-256

Springer Publishing Company

Access to resources Recommend Favorite

A new reactive operating system for human-robot interaction

By Yakoh Takahiro Anzai Yuichiro

Advanced Robotics, Vol. 8, Iss. 4, 1993-01 ,pp. : 371-383

Taylor & Francis Ltd

Access to resources Recommend Favorite

Tackling multi-part assembly automation

Assembly Automation, Vol. 4, Iss. 1, 1993-12 ,pp. : 11-13

Emerald Group Publishing Ltd

Access to resources Recommend Favorite