Evaluation of high level methods for efficient planning as satisfiability
Paper i 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

Författare

Endre Erös

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Martin Dahl

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Petter Falkman

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Kristofer Bengtsson

Chalmers, Elektroteknik, System- och reglerteknik, 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.

Virtuell beredning av operationer för fordonsunderhåll, UNIFICATION

VINNOVA (2017-02245), 2017-06-01 -- 2020-05-31.

Ämneskategorier

Robotteknik och automation

Reglerteknik

Datavetenskap (datalogi)

DOI

10.1109/ETFA45728.2021.9613254

ISBN

9781728129891

Mer information

Senast uppdaterat

2022-02-01