Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions
Conference Paper
Publication Date:
2024
Short description:
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions / Catta, Davide; Ferrando, Angelo; Malvone, Vadim. - 15395 LNCS:(2024), pp. 206-223. ( 25th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2024 Kyoto, jap 18/11/2024-24/11/2024) [10.1007/978-3-031-77367-9_16].
Iris type:
Relazione in Atti di Convegno
Keywords:
Model Checking; Resource Bounded ATL; Strategic Verification;
List of contributors:
Catta, Davide; Ferrando, Angelo; Malvone, Vadim
Book title:
PRIMA 2024: Principles and Practice of Multi-Agent Systems. 25th International Conference, Kyoto, Japan, November 18–24, 2024, Proceedings
Published in: