arXiv Open Access 2025

Rational Capability in Concurrent Games

Yinfeng Li Emiliano Lorini Munyque Mittelmann

Lihat Sumber

Abstrak

We extend concurrent game structures (CGSs) with a simple notion of preference over computations and define a minimal notion of rationality for agents based on the concept of dominance. We use this notion to interpret a CL and an ATL languages that extend the basic CL and ATL languages with modalities for rational capability, namely, a coalition's capability to rationally enforce a given property. For each of these languages, we provide results about the complexity of satisfiability checking and model checking as well as about axiomatization.

Topik & Kata Kunci

cs.LO cs.MA

Penulis (3)

Yinfeng Li

Emiliano Lorini

Munyque Mittelmann

Format Sitasi

APA MLA BibTeX

Li, Y., Lorini, E., Mittelmann, M. (2025). Rational Capability in Concurrent Games. https://arxiv.org/abs/2502.12286

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓