affiliation not provided to SSRN
decision support systems, Model Checking, multi-agent systems, Electric Power System