We present an extension of Alternating-time Temporal Logic ATL, called ATLP (Parametric ATL), where parameters are allowed in place of concrete groups of agents. We devise a procedure to find all instantiations for the parameters in a given formula φ of ATLP so that φ is true in a given model. We propose a formalisation of the problem and symbolic algorithms for its solution. We discuss an expe...
