About me
Bio
Research
Personal
Contact
PhD
Current PhD Students
Conny Olz
Songtuan Lin
Pascal Lauer
Mohammad Yousefi
Looking for a PhD?
Completing/completed your PhD?
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Research Projects
Supervised Projects
taken: Planning & Sokoban Deadend Detection
open: Solving Waiter's Tray Puzzle
open: Modeling and Solving Puzzle Games
open: HTN Plan Existence Complexities
open: Plan Validation Complexities
open: HTN Planning with Time
open: Analyzing A* in HTN Planning
taken: HTN Portfolio Planner
open: Randomness in Search
taken: ILP HTN Heuristic
taken: Specialized HTN Heuristics
open: TIHTN Planning Algorithm
open: Modeling and Solving Complex Problems
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Resources for Students
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
Journals
Conferences
Books
Workshops
Further
Awards
Best Papers
Best Reviewer
Further
Book Chapters
Impressum
About me
Bio
Research
Personal
Contact
PhD
Current PhD Students
Conny Olz
Songtuan Lin
Pascal Lauer
Mohammad Yousefi
Looking for a PhD?
Completing/completed your PhD?
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Research Projects
Supervised Projects
taken: Planning & Sokoban Deadend Detection
open: Solving Waiter's Tray Puzzle
open: Modeling and Solving Puzzle Games
open: HTN Plan Existence Complexities
open: Plan Validation Complexities
open: HTN Planning with Time
open: Analyzing A* in HTN Planning
taken: HTN Portfolio Planner
open: Randomness in Search
taken: ILP HTN Heuristic
taken: Specialized HTN Heuristics
open: TIHTN Planning Algorithm
open: Modeling and Solving Complex Problems
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Resources for Students
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
Journals
Conferences
Books
Workshops
Further
Awards
Best Papers
Best Reviewer
Further