Cognitive Reasoning and Trust in Human-Robot Interactions

DOI10.1007/978-3-319-55911-7_1zbMath1435.68331OpenAlexW2599509318MaRDI QIDQ2988805

Marta Kwiatkowska

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:89715914-3b41-43c4-aa33-ed2162d7fffa

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Uses Software

• Unnamed Item

Cites Work

• A logic for reasoning about time and reliability
• Model checking of probabilistic and nondeterministic systems
• Unnamed Item

This page was built for publication: Cognitive Reasoning and Trust in Human-Robot Interactions