A Verified Compositional Al... - Researchers

A Verified Compositional Algorithm for AI Planning

Citation

Mansour, M, Gretton, C & Norrish, M 2019, 'A Verified Compositional Algorithm for AI Planning', Interactive Theorem Proving (ITP 2019), ed. John Harrison, John O'Leary and Andrew Tolmach, Schloss Dagstuhl - Leibniz-Zentrum fÃ¼r Informatik, USA, pp. 1-19.

Year

2019

ANU Authors

Associate Professor Charles Gretton
Dr Michael Norrish

Updated: 05 July 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers