Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions.

Davide Catta, Angelo Ferrando, Vadim Malvone

Browse the full PRIMA paper archive.