|
|
|
|
|
|
by iliabara
1412 days ago
|
|
|
Hey, No, we haven't looked into formal tools like that, good suggestion!
TBD on if these approaches bode well for real world robotics, (due to model complexity and model/real world fit problems) but at least there seems to be some applications to path planning and controls:
https://ieeexplore.ieee.org/document/5509686 I'll pass it on to the controls team! |
|
|