Salomé Eriksson

Salomé Eriksson
Address:
Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland
Room:
04.001
Email:
salome.eriksson@unibas.ch
Phone:
+41 61 20 75583

Publications

(Show all abstracts) (Hide all abstracts)

2017

  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    Unsolvability Certificates for Classical Planning.
    In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017). 2017.
    (Show abstract) (PDF)

Publications under my maiden name

(Show all abstracts) (Hide all abstracts)

2015

  • Salomé Simon and Gabriele Röger.
    Finding and Exploiting LTL Trajectory Constraints in Heuristic Search.
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015), pp. 113-121. 2015.
    A non-archival version of this paper was also presented at the ICAPS-2015 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP).
    (Show abstract) (PDF) (slides; PDF) (slides HSDIP; PDF)