Refining and Delegating Strategic Ability in ATL.

Dimitar P. Guelev

Published in: SR (2014)

Keyphrases

multi agent systems
case study
database
decision making
temporal logic
optimal solution
model checking
decision problems
knowledge based neural networks
alternating time temporal logic