Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions
Contributo in Atti di convegno
Data di Pubblicazione:
2024
Citazione:
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].
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Model Checking; Resource Bounded ATL; Strategic Verification;
Elenco autori:
Catta, Davide; Ferrando, Angelo; Malvone, Vadim
Link alla scheda completa:
Titolo del libro:
PRIMA 2024: Principles and Practice of Multi-Agent Systems. 25th International Conference, Kyoto, Japan, November 18–24, 2024, Proceedings
Pubblicato in: