IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 209
Titolo Tipologia Data di pubblicazione Autore(i) File
Natural Strategic Ability in Stochastic Multi-Agent Systems 4.1 Articoli in Atti di convegno 2024 Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
On the Complexity of Model Checking Knowledge and Time 1.1 Articolo in rivista 2024 Bozzelli, L.; Maubert, B.; Murano, A.
Verification of Bayesian Mechanisms with Strategy Logic 4.2 Abstract in Atti di convegno 2023 Mittelmann, Munyque; Maubert, Bastien; Murano, Aniello; Perrussel, Laurent
Strategic Abilities of Forgetful Agents in Stochastic Environments 4.1 Articoli in Atti di convegno 2023 Belardinelli, Francesco; Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello
Synthesis of Mechanisms with Strategy Logic (Short Paper) 4.1 Articoli in Atti di convegno 2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Public and Private Affairs in Strategic Reasoning 4.1 Articoli in Atti di convegno 2022 Fijalkow, N.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M.
Context-free timed formalisms: Robust automata and linear temporal logics 1.1 Articolo in rivista 2022 Bozzelli, L.; Murano, A.; Peron, A.
Verification of agent navigation in partially-known environments 1.1 Articolo in rivista 2022 Aminof, B.; Murano, A.; Rubin, S.; Zuleger, F.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions 4.1 Articoli in Atti di convegno 2022 Belardinelli, F.; Jamroga, W.; Malvone, V.; Mittelmann, M.; Murano, A.; Perrussel, L.
Automated Synthesis of Mechanisms 4.1 Articoli in Atti di convegno 2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions 4.1 Articoli in Atti di convegno 2022 Belardinelli, Francesco; Jamroga, Wojtek; Malvone, Vadim; Mittelmann, Munyque; Murano, Aniello; Perrussel, Laurent
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 8.07 Progetti di Ricerca Finanziati 2021 Murano, Aniello; D'Amore, Luisa; Laccetti, Giuliano; Maubert, Bastien
Equilibria for games with combined qualitative and quantitative objectives 1.1 Articolo in rivista 2021 Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Steeples, T.; Wooldridge, M.
Reasoning About Agents That May Know Other Agents' Strategies 4.1 Articoli in Atti di convegno 2021 Belardinelli, F.; Knight, S.; Lomuscio, A.; Maubert, B.; Murano, A.; Rubin, S.
Preface 2.2 Prefazione/Postfazione 2021 van der Hoek, W.; Maubert, B.; Murano, A.; Rubin, S.
Strategy Logic with Imperfect Information 1.1 Articolo in rivista 2021 Berthon, R.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M. Y.
Strategic Reasoning in Automated Mechanism Design 4.1 Articoli in Atti di convegno 2021 Maubert, B.; Mittelmann, M.; Murano, A.; Perrussel, L.
Alternating Tree Automata with Qualitative Semantics 1.1 Articolo in rivista 2021 Berthon, R.; Fijalkow, N.; Filiot, E.; Guha, S.; Maubert, B.; Murano, A.; Pinault, L.; Pinchinat, S.; Rubin, S.; Serre, O.
Timed Trace Alignment with Metric Temporal Logic over Finite Traces 4.1 Articoli in Atti di convegno 2021 De Giacomo, G.; Murano, A.; Patrizi, F.; Perelli, G.
Synthesizing Best-effort Strategies under Multiple Environment Specifications 4.1 Articoli in Atti di convegno 2021 Aminof, B.; De Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, S.
Mostrati risultati da 1 a 20 di 209
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile