How to Manage a Budget with ATL+.

Stéphane Demri Raine Rönnholm

Published in: KR (2023)

Keyphrases

multi agent systems
model checking
temporal logic
feature selection
effectively manage
neural network
multi agent
artificial neural networks
probabilistic model
alternating time temporal logic