# Formal model of temporal commitment in real-time multi-agent systems

Authors:
Abstract:

The formal model of inter-agent communication in real-time multi-agent systems is presented on the basis of the set theory and logics, using RTCTL. Proposed the extension of the commitment concept by embedding the temporal parameter as a necessary condition of the correct execution in real time.