Taming the complexity of linear time BDI logics

Nils Bulling, Koen V. Hindriks

Research output: Contribution to ConferencePaperAcademic

Fingerprint Dive into the research topics of 'Taming the complexity of linear time BDI logics'. Together they form a unique fingerprint.

Engineering & Materials Science