A Verified Compositional Algorithm for AI Planning

From MaRDI portal
Publication:5875407