Login / Signup
Bayesian Learning for the Robust Verification of Autonomous Robots.
Xingyu Zhao
Simos Gerasimou
Radu Calinescu
Calum Imrie
Valentin Robu
David Flynn
Published in:
CoRR (2023)
Keyphrases
</>
bayesian learning
autonomous robots
mobile robot
model selection
posterior distribution
multiple robots
robotic systems
bayesian networks
gaussian process
robot control
motion control
multi robot systems
control system
hidden markov models
least squares
higher order