On feasible cases of checking multi-agent systems behavior

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. On feasible cases of checking multi-agent systems behavior. Theoretical Computer Science, 1(303):63-81, 2003. [doi]

Abstract

Abstract is missing.