(Re)formulace plánovacích problémů

• Thesis title in Czech: (Re)formulace plánovacích problémů
• Thesis title in English: (Re)formulating planning problems
• Academic year of topic announcement: 2021/2022
• Thesis type: dissertation
• Department: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Supervisor: prof. RNDr. Roman Barták, Ph.D.

Guidelines

The task is to study various formal (re)formations of action planning problems from the perspective of expressivity and efficiency of models.

References

Malik Ghallab, Dana Nau, Paolo Traverso: Automated Planning: Theory and Practice. Morgan Kaufmann, 2004.
Malik Ghallab, Dana Nau, Paolo Traverso: Automated Planning and Acting. Cambridge University Press, 2016.