claim
Robots can use probabilistic programs to model uncertainty in their environment while using neural networks to analyze sensor data, allowing the system to perform Bayesian updating and planning that is verifiable at the program level.

Authors

Sources

Referenced by nodes (4)