TY  - JOUR

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

JO  - Robotics and Autonomous Systems

PY  - 2023/04/04

AU  - Manuel N

AU  - Hierons R

AU  - Lefticaru R

ED  - 

PB  - Elsevier

Y2  - 2024/10/23

ER  -