1 research outputs found

    Symbolic verification of multiagent graphical decision models

    No full text
    10.1002/int.20313International Journal of Intelligent Systems23111177-1195IJIS
    corecore