Login / Signup

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.

Thom S. BadingsNils JansenLicio RomaoAlessandro 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