Distributed Multi-Agent Planning

Distributed Temporal Logic

Extension of temporal logics (such as LTL) to specify and verify properties on the global behavior of a multi-agent system, where logical operators are evaluated on distributed execution traces.

← Indietro