64 citations · 140 across the 10 of their papers we have counts for
1 paper · 1 filter
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
Recent trends in AI verification and Explainable AI have raised the question of whether AI planning techniques can be verified. In this paper, we present a novel resource logic, th…