Login / Signup
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.
Thom S. Badings
Nils Jansen
Licio Romao
Alessandro Abate
Published in:
CoRR (2023)
Keyphrases
</>
dynamical models
dynamical model
dynamical systems
model selection
computer vision
hidden markov models
mobile robot
gaussian process
pose tracking