Actions you can handle: Dependent types for AI plans

Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Actions you can handle: Dependent types for AI plans'. Together they form a unique fingerprint.

Computer Science