LTL Semantics for Tumato: A Declarative Approach to Autonomous Agent Planning.

Jan Vermaelen, Tom Holvoet

Browse the full EMAS paper archive.