Formal Verification and Control with Conformal Prediction
pdf
Lars Lindemann (USC) and Jyotirmoy Deshmukh (USC)
License: CC-3.0
Submitted by Jason Gigax
on