Uni-Logo

Seminar: Handlungsplanung und Modelchecking - Themen

1. Symbolisches Model-Checking und Planen mit BDDs

Betreuung: Dr. Robert Mattmüller

Bearbeitung: Falko Stenzel

Kommentar: Huifeng Gan

2. ATL-Model-Checking

Betreuung: Dr. Robert Mattmüller

Bearbeitung: Huifeng Gan

Kommentar: Falko Stenzel

3. Konformantes Planen als symbolisches Model-Checking

Betreuung: Prof. Dr. Bernhard Nebel

Bearbeitung: Martin Senk

Kommentar: entfällt

4. Komplexe Ziele beim nicht-deterministischen Planen

Betreuung: Prof. Dr. Bernhard Nebel

Bearbeitung: offen

Kommentar: offen

5. Abstraction Refinement

Betreuung: Dr. Sebastian Kupferschmid

Bearbeitung: Christoph Betz

Kommentar: Derya Yavuz

6. Realzeitautomaten

Betreuung: Dr. Sebastian Kupferschmid

Bearbeitung: Derya Yavuz

Kommentar: Christoph Betz

7. Bounded Model Checking

  • Armin Biere, Alessandro Cimatti, Edmund M. Clarke and Yunshan Zhu. 1999.
    Symbolic model checking without BDDs.
    Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), 193-207.
  • Ofer Strichman. 2000.
    Tuning SAT checkers for bounded model checking.
    Proceedings of the 12th International Conference on Computer Aided Verification (CAV 2000), 480-494.

Betreuung: Prof. Dr. Jan-Georg Smaus

Bearbeitung: offen

Kommentar: offen

8. Planen als Erfüllbarkeitsproblem

Betreuung: Prof. Dr. Jan-Georg Smaus

Bearbeitung: Jens Zettelmeyer

Kommentar: Martin Senk

9. Handlungsplanung: Komplexität

Betreuung: Dr. Gabriele Röger

Bearbeitung: entfällt

Kommentar: entfällt

10. Heuristisches Planen: h^m und h^add

Betreuung: Dr. Gabriele Röger

Bearbeitung: offen

Kommentar: offen

11. Heuristisches Planen: FF

Betreuung: Prof. Dr. Malte Helmert

Bearbeitung: offen

Kommentar: offen

12. Heuristisches Planen: Musterdatenbanken

Betreuung: Prof. Dr. Malte Helmert

Bearbeitung: offen

Kommentar: offen