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, Automation

Martin Dahl

Chalmers, Electrical Engineering, Systems and control, Automation

Petter Falkman

Chalmers, Electrical Engineering, Systems and control, Automation

Kristofer Bengtsson

Chalmers, Electrical Engineering, Systems and control, Automation

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

19460740 (ISSN) 19460759 (eISSN)

Vol. 26
9781728129891 (ISBN)

26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
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

More information

Latest update

2/1/2022 2