SMT-based Planning for Robots in Smart Factories.
Arthur Bit-MonnotFrancesco LeofanteLuca PulinaArmando TacchellaPublished in: IEA/AIE (2019)
Keyphrases
- mobile robot
- capacity planning
- multiple robots
- robot teams
- cooperative
- planning problems
- mixed initiative
- decision support
- collision free
- motion planning
- human robot interaction
- blocks world
- plan generation
- goal oriented
- robotic systems
- artificial intelligence
- neural network
- planning process
- decision theoretic
- humanoid robot
- supply chain
- multi robot systems
- stochastic domains
- learning algorithm