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



  • 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
  • Accepted: 16 August 2014
  • Published (online): 6 September 2014
  • 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: 05 Aug 2016 08:34
Last Modified: 05 Aug 2016 08:34
Published Version:
Status: Published
Publisher: Springer Verlag (Germany)
Refereed: Yes
Identification Number:

Share / Export