Probabilistic Automata Model of a Soft Robot for the Planning of Manipulation Tasks | IEEE Journals & Magazine | IEEE Xplore