Design of Joint Verification-Correction Strategies  for Engineered Systems

TR Number

Date

2022-06-28

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Virginia Tech

Abstract

Description

Keywords

system verification, correction activity, Bayesian network, sequential decision-making, tree search

Citation