Reasoning about robot actions: A model checking approach

DOI10.1007/3-540-37724-7_8MaRDI QIDQ4411517zbMATH OpenFDO

Authors Khaled Ben Lamine, Froduald Kabanza

Publication date 9 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2466/24660123.htm

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) Computing methodologies and applications (68U99) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• scientific article; zbMATH DE number 2063021
• scientific article; zbMATH DE number 5547939
• Modelling and controlling of behaviour for autonomous mobile robots
• Mechanizing Mathematical Reasoning
• Advances in Artificial Intelligence – SBIA 2004

Cited in

(8)

• Cognitive reasoning and trust in human-robot interactions
• Perceptual anchoring: A key concept for plan execution in embedded systems
• Robot Planning Based on Boolean Specifications Using Petri Net Models
• Reactivity in a logic-based robot programming framework. (Extended version)
• Advances in Artificial Intelligence – SBIA 2004
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 5181786 (Why is no real title available?)
• Robustness of temporal logic specifications for continuous-time signals

This page was built for publication: Reasoning about robot actions: A model checking approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411517)