Verification of logical consistency in robotic reasoning

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

Abstract

Metadata

Authors/Creators:
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 (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Keywords: Stability analysis; Robot programming; Formal verification
Dates:
  • 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: http://dx.doi.org/10.1016/j.robot.2016.06.005
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.robot.2016.06.005

Share / Export

Statistics