Login / Signup
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.
Davide Catta
Angelo Ferrando
Vadim Malvone
Published in:
ICAART (Revised Selected Paper) (2023)
Keyphrases
</>
alternating time temporal logic
coalition formation
model checking
coalitional games
imperfect information
multi agent systems
cooperative
multi agent
modal logic
decision making
epistemic logic
transferable utility