Formally Verified Algorithms for Upper-Bounding State Space Diameters

Citation

Abdulaziz, M, Norrish, M & Gretton, C 2018, 'Formally Verified Algorithms for Upper-Bounding State Space Diameters', Journal of Automated Reasoning, vol. 61, no. 1, pp. 485-520.

Year

2018

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  27 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers