3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt +1
Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents…