JAMROGA, WOJCIECH JANUSZ
JAMROGA, WOJCIECH JANUSZ
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
Natural strategic ability under imperfect information
2019 Jamroga, W.; Malvone, V.; Murano, A.
Strategy logic with simple goals: Tractable reasoning about strategies
2019 Belardinelli, F.; Jamroga, W.; Kurpiewski, D.; Malvone, V.; Murano, A.
Strategic Abilities of Forgetful Agents in Stochastic Environments
2023 Belardinelli, Francesco; Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello
Playing Quantitative Games Against an Authority: On the Module Checking Problem
2024 Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe
Scalable Verification of Strategy Logic through Three-valued Abstraction
2023 Belardinelli, F.; Ferrando, A.; Jamroga, W.; Malvone, V.; Murano, A.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Natural strategic ability under imperfect information | 4.1 Articoli in Atti di convegno | 2019 | Jamroga, W.; Malvone, V.; Murano, A. | |
| Strategy logic with simple goals: Tractable reasoning about strategies | 4.1 Articoli in Atti di convegno | 2019 | Belardinelli, F.; Jamroga, W.; Kurpiewski, D.; Malvone, V.; Murano, A. | |
| Strategic Abilities of Forgetful Agents in Stochastic Environments | 4.1 Articoli in Atti di convegno | 2023 | Belardinelli, Francesco; Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello | |
| Playing Quantitative Games Against an Authority: On the Module Checking Problem | 4.1 Articoli in Atti di convegno | 2024 | Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe | |
| Scalable Verification of Strategy Logic through Three-valued Abstraction | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Belardinelli, F.; Ferrando, A.; Jamroga, W.; Malvone, V.; Murano, A. |