Login / Signup
An Optimal Itinerary Generation in a Configuration Space of Large Intellectual Agent Groups with Linear Logic.
Dmitry Maximov
Published in:
CoRR (2018)
Keyphrases
</>
linear logic
configuration space
degrees of freedom
dynamic programming
motion planning
sequent calculus
proof theoretic
multiple agents
computer vision
optimal solution
logic programming
path planning
fixed point
logical framework
cut elimination