Safe Networked Robotics With Probabilistic Verification.
Sai Shankar NarasimhanSharachchandra BhatSandeep P. ChinchaliPublished in: IEEE Robotics Autom. Lett. (2024)
Keyphrases
- bayesian networks
- computer vision
- artificial intelligence
- model checking
- uncertain data
- multimedia
- face verification
- data driven
- search engine
- formal verification
- real world
- mobile robotics
- formal analysis
- database
- probabilistic model
- industrial robots
- generative model
- robot programming
- probabilistic approaches
- mobile robot
- context sensitive
- vision system
- expert systems
- multi agent
- reinforcement learning
- similarity measure
- image sequences
- data mining
- real time