Practical Verification of Decision-Making in Agent-Based Autonomous Systems

Veres, S.M., Fisher, M., Dennis, L. et al. (2 more authors) (2016) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359. ISSN 0928-8910

Abstract

Metadata

Item Type: Article
Authors/Creators:
  • Veres, S.M.
  • Fisher, M.
  • Dennis, L.
  • Lincoln, N.
  • Lisitsa, A.
Copyright, Publisher and Additional Information:

© The Author(s) 2014

Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

Keywords: Hybrid systems; Model checking; Agent architectures
Dates:
  • Published: September 2016
  • Published (online): 6 September 2014
  • Accepted: 16 August 2014
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: 05 Aug 2016 08:34
Last Modified: 05 Aug 2016 08:34
Published Version: http://dx.doi.org/10.1007/s10515-014-0168-9
Status: Published
Publisher: Springer Verlag (Germany)
Refereed: Yes
Identification Number: 10.1007/s10515-014-0168-9
Open Archives Initiative ID (OAI ID):

Export

Statistics