Implementation relations and testing for cyclic systems: adding probabilities

Núñez, M., Hierons, R. orcid.org/0000-0002-4771-1446 and Lefticaru, R. (2023) Implementation relations and testing for cyclic systems: adding probabilities. Robotics and Autonomous Systems, 165. 104426. ISSN 0921-8890

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2023 The Authors. This is an Open Access article distributed under the terms of the Creative Commons Attribution Licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Keywords: Probabilistic systems; Cyclic systems; Model-based testing; Implementation relations
Dates:
  • Published: July 2023
  • Published (online): 6 April 2023
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL
EP/R025134/2
Engineering and Physical Sciences Research Council
EP/V026801/2
Depositing User: Symplectic Sheffield
Date Deposited: 18 Apr 2023 11:32
Last Modified: 18 Apr 2023 11:32
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: 10.1016/j.robot.2023.104426
Open Archives Initiative ID (OAI ID):

Export

Statistics