GALIMULLIN, RUSTAM
GALIMULLIN, RUSTAM
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.012 secondi).
Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
2025 Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima
Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
2026 Galimullin, Rustam; Jamroga, Wojciech; Kurpiewski, Damian; Malvone, Vadim; Murano, Aniello
First-Order Coalition Logic
2025 Catta, Davide; Galimullin, Rustam; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems | 4.1 Articoli in Atti di convegno | 2025 | Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima | |
| Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking | 2.1 Contributo in volume (Capitolo o Saggio) | 2026 | Galimullin, Rustam; Jamroga, Wojciech; Kurpiewski, Damian; Malvone, Vadim; Murano, Aniello | |
| First-Order Coalition Logic | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Catta, Davide; Galimullin, Rustam; Murano, Aniello |