Evaluation of high level methods for efficient planning as satisfiability
Paper in proceeding, 2021
Fast planning algorithms play a key role in intelligent automation systems where control sequences are constantly calculated. In order to determine which algorithms increase planning performance, we evaluate and compare several high level planning methods on a set of standard benchmarks. We focus on planning as satisfiability as the leading approach for solving difficult planning problems.
automated planning
SAT solvers
intelligent automation
artificial intelligence
planning as satisfiability
Author
Endre Erös
Chalmers, Electrical Engineering, Systems and control
Martin Dahl
Chalmers, Electrical Engineering, Systems and control
Petter Falkman
Chalmers, Electrical Engineering, Systems and control
Kristofer Bengtsson
Chalmers, Electrical Engineering, Systems and control
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
19460740 (ISSN) 19460759 (eISSN)
Vol. 2021-September9781728129891 (ISBN)
26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Västerås, ,
Västerås, ,
UNICORN - Sustainable, Peaceful and Efficient Robotic Refuse Handling
VINNOVA (2017-03055), 2017-10-25 -- 2020-08-31.
Volvo Group, 2021-03-24 -- 2021-05-31.
Virtual Commissioning of Vehicle Maintenance Operations, UNIFICATION
VINNOVA (2017-02245), 2017-06-01 -- 2020-05-31.
Subject Categories
Robotics
Control Engineering
Computer Science
DOI
10.1109/ETFA45728.2021.9613254
ISBN
9781728129891