Login / Signup
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information.
Felipe J. Montana
Jun Liu
Tony J. Dodd
Published in:
FMICS-AVoCS (2017)
Keyphrases
</>
motion planning
temporal logic
state information
model checking
reactive systems
degrees of freedom
path planning
modal logic
trajectory planning
dynamic constraints
mobile robot
automata theoretic
humanoid robot
multi robot
action models