Publikace na Matematicko-fyzikální fakulta |
2013
Abstrakt
In order to make even larger plans transparent and human readable, we have developed a program that helps users with the analysis and visualization of plans. This program called VisPlan finds and displays causal relations between actions, it identifies possible flaws in plans (and thus verifies plans’ correctness), it highlights the flaws found in the plan and finally, it allows users to interactively modify the plan and hence manually repair the flaws.