Active Learning for Data-Driven Verification of a Model Reference Adaptive Controller

Published --