Login / Signup

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.

Esen YelTaylor J. CarpenterCarmelo Di FrancoRadoslav IvanovYiannis KantarosInsup LeeJames WeimerNicola Bezzo
Published in: IEEE Robotics Autom. Mag. (2020)
Keyphrases