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/12/22

ER  -