1. Alford, R., Shivashankar, V., Roberts, M., Frank, J., Aha, D.W., 2016. Hierarchical planning: Relating task and goal decomposition with task sharing. In: IJCAI, pp. 3022–3029.
2. AUTHSCAN: Automatic extraction of web authentication protocols from implementations;Bai,2013
3. Verification and Validation Meet Planning and Scheduling;Bensalem,2014
4. Bercher, P., Alford, R., Höller, D., 2019. A survey on hierarchical planning-one abstract idea, many concrete realizations. In: IJCAI, pp. 6267–6275.
5. Heuristic search+ symbolic model checking= efficient conformant planning;Bertoli,2001