ML Anthology
Authors
Search
About
Tchaltsev, Andrei
1 publications
IJCAI
2011
A Comprehensive Approach to On-Board Autonomy Verification and Validation
Marco Bozzano
,
Alessandro Cimatti
,
Marco Roveri
,
Andrei Tchaltsev