About me
Bio
Career Advice
Personal
Contact
PhD
Current PhD Students
–Group Rules–
Michael Welt
Pascal Lauer
Mohammad Yousefi
Nader Bavandpour
Yifan Zhang
Daniel Lutalo
Previous PhD Students
Conny Olz
Songtuan Lin
Panel Member and Examiner
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Research
Research Interests
Classical Planning
Hierarchical Planning
Research Grants
Target Venues
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Foundations of Computing
Research Projects
Supervised Projects
Modeling the Waiter's Tray Puzzle
Modeling Puzzle Games
Modeling Data Structures
Theory: Partial Order Planning Complexities
Theory: HTN Plan Existence Complexities
Theory: HTN Planning with Time
Implementing TIHTN Planning Algorithm
Implementing Lifted Classical Heuristic
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
All publications
Journals and Books
Conferences
Workshops
Further
Proceedings
Experiments
Awards
Best Papers
Best Reviewer
Further
Password Protection
This page is protected by an password.
Password
Enter
About me
Bio
Career Advice
Personal
Contact
PhD
Current PhD Students
–Group Rules–
Michael Welt
Pascal Lauer
Mohammad Yousefi
Nader Bavandpour
Yifan Zhang
Daniel Lutalo
Previous PhD Students
Conny Olz
Songtuan Lin
Panel Member and Examiner
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Research
Research Interests
Classical Planning
Hierarchical Planning
Research Grants
Target Venues
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Foundations of Computing
Research Projects
Supervised Projects
Modeling the Waiter's Tray Puzzle
Modeling Puzzle Games
Modeling Data Structures
Theory: Partial Order Planning Complexities
Theory: HTN Plan Existence Complexities
Theory: HTN Planning with Time
Implementing TIHTN Planning Algorithm
Implementing Lifted Classical Heuristic
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
All publications
Journals and Books
Conferences
Workshops
Further
Proceedings
Experiments
Awards
Best Papers
Best Reviewer
Further