Towards compositional automated planning
Paper i proceeding, 2020
online planning
automated planning
abstraction refinement
planning as satisfiability
artificial intelligence
compositional planning
intelligent automation
SAT solvers
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
Vol. September 416-423
Vienna, Austria,
Virtuell beredning av operationer för fordonsunderhåll, UNIFICATION
VINNOVA, 2017-06-01 -- 2020-05-31.
UNICORN - Sustainable, Peaceful and Efficient Robotic Refuse Handling
VINNOVA, 2017-10-25 -- 2020-08-31.
Ämneskategorier
Reglerteknik
Datavetenskap (datalogi)
DOI
10.1109/ETFA46521.2020.9212040