Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic

L. Dixon, A. Smaill, Alan Bundy

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

Fingerprint Dive into the research topics of 'Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic'. Together they form a unique fingerprint.

Engineering & Materials Science