TY  - JOUR

T1  - Implementation relations and testing for cyclic systems: adding probabilities

JO  - Robotics and Autonomous Systems

UR  - https://eprints.whiterose.ac.uk/id/eprint/197992

PY  - 2023/04/06

AU  - Núñez M

AU  - Hierons R

AU  - Lefticaru R

ED  - 

DO  - DOI: 10.1016/j.robot.2023.104426

PB  - Elsevier

VL  - 165

Y2  - 2025/11/05

ER  -