Login / Signup
Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses.
Octavio Narvaez-Aroche
Pierre-Jean Meyer
Murat Arcak
Andrew K. Packard
Published in:
CoRR (2018)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
machine learning
learning algorithm
computer vision
qualitative and quantitative
incremental algorithms