We present techniques for verifying strategic abilities of multi-agent systems via SAT-based
and Max-SAT-based bounded model checking. In our approach we focus on systems of
agents that pursue goals with regard to the ...
In this article, we revise our constraint-based abstraction refinement technique for checking temporal logic properties of concurrent software systems. Our technique employs predicate abstraction and SAT-based three-valued ...
Multi-agent systems for resource allocation (MRAs) have been introduced as a concept for modelling
competitive resource allocation problems in distributed computing. An MRA is composed of a set
of agents and a set of ...
