Verification of logical consistency in robotic reasoning

Qu, H. and Veres, S.M. (2016) Verification of logical consistency in robotic reasoning. Robotics and Autonomous Systems, 83. pp. 44-56. ISSN 0921-8890



Copyright, Publisher and Additional Information: © 2016 Elsevier. This is an author produced version of a paper subsequently published in Robotics and Autonomous Systems. Uploaded in accordance with the publisher's self-archiving policy. Article available under the terms of the CC-BY-NC-ND licence (
Keywords: Stability analysis; Robot programming; Formal verification
  • Accepted: 14 June 2016
  • Published (online): 22 June 2016
  • Published: September 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 18 Jul 2016 13:59
Last Modified: 18 Jul 2017 15:42
Published Version:
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number:

Share / Export