MURANO, ANIELLO

MURANO, ANIELLO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 202 (tempo di esecuzione: 0.022 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Automated Synthesis of Mechanisms 4.1 Articoli in Atti di convegno 2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
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.
Strategic Reasoning in Automated Mechanism Design 4.1 Articoli in Atti di convegno 2021 Maubert, B.; Mittelmann, M.; Murano, A.; Perrussel, L.
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.
Module Checking of Pushdown Multi-agent Systems 4.1 Articoli in Atti di convegno 2020 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Nondeterministic strategies and their refinement in strategy logic 4.1 Articoli in Atti di convegno 2020 De Giacomo, G.; Maubert, B.; Murano, A.
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.
Synthesizing strategies under expected and exceptional environment behaviors 4.1 Articoli in Atti di convegno 2020 Aminof, B.; de Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, S.
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
Context-free timed formalisms: Robust automata and linear temporal logics 1.1 Articolo in rivista 2022 Bozzelli, L.; Murano, A.; Peron, A.
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.
Verification of agent navigation in partially-known environments 1.1 Articolo in rivista 2022 Aminof, B.; Murano, A.; Rubin, S.; Zuleger, F.
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.
Synthesis of Mechanisms with Strategy Logic (Short Paper) 4.1 Articoli in Atti di convegno 2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
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
Assume-guarantee synthesis for prompt linear temporal logic 4.1 Articoli in Atti di convegno 2020 Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M.
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.
Decidability results for ATL∗ with imperfect information and perfect recall 4.1 Articoli in Atti di convegno 2017 Berthon, R.; Maubert, B.; Murano, A.
Reasoning about quality and fuzziness of strategic behaviours 4.1 Articoli in Atti di convegno 2019 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Synthesis under Assumptions 4.2 Abstract in Atti di convegno 2018 Aminof, Benjamin; De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha