Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments

Pages

Subscribe to Verifiable Robotics Research Group RSS