Controller-Based Interactive Proof to Ensure Trust in Multiagent Systems (Q6052094)

From MaRDI portal
scientific article; zbMATH DE number 7741001
Language Label Description Also known as
English
Controller-Based Interactive Proof to Ensure Trust in Multiagent Systems
scientific article; zbMATH DE number 7741001

    Statements

    Controller-Based Interactive Proof to Ensure Trust in Multiagent Systems (English)
    0 references
    21 September 2023
    0 references
    0 references
    autonomous systems
    0 references
    cooperative systems
    0 references
    multiagent systems
    0 references
    0 references