Testing, validation, and verification of robotic and autonomous systems: a systematic review
H Araujo, MR Mousavi, M Varshosaz - ACM Transactions on Software …, 2023 - dl.acm.org
We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …
[PDF][PDF] An Efficient Delta-decision Procedure
S Kong - 2023 - reports-archive.adm.cs.cmu.edu
Delta-complete analysis demonstrates the decidability and complexity of delta-complete
decision procedures through appropriate relaxations of exact decision problems. This …
decision procedures through appropriate relaxations of exact decision problems. This …