MURANO, ANIELLO
MURANO, ANIELLO
Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione
Automated Synthesis of Mechanisms
2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Timed Trace Alignment with Metric Temporal Logic over Finite Traces
2021 De Giacomo, G.; Murano, A.; Patrizi, F.; Perelli, G.
Strategic Reasoning in Automated Mechanism Design
2021 Maubert, B.; Mittelmann, M.; Murano, A.; Perrussel, L.
Synthesizing Best-effort Strategies under Multiple Environment Specifications
2021 Aminof, B.; De Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, S.
Module Checking of Pushdown Multi-agent Systems
2020 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Nondeterministic strategies and their refinement in strategy logic
2020 De Giacomo, G.; Maubert, B.; Murano, A.
Reasoning About Agents That May Know Other Agents' Strategies
2021 Belardinelli, F.; Knight, S.; Lomuscio, A.; Maubert, B.; Murano, A.; Rubin, S.
Synthesizing strategies under expected and exceptional environment behaviors
2020 Aminof, B.; de Giacomo, G.; Lomuscio, A.; Murano, A.; Rubin, S.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
2022 Belardinelli, Francesco; Jamroga, Wojtek; Malvone, Vadim; Mittelmann, Munyque; Murano, Aniello; Perrussel, Laurent
Context-free timed formalisms: Robust automata and linear temporal logics
2022 Bozzelli, L.; Murano, A.; Peron, A.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
2022 Belardinelli, F.; Jamroga, W.; Malvone, V.; Mittelmann, M.; Murano, A.; Perrussel, L.
Verification of agent navigation in partially-known environments
2022 Aminof, B.; Murano, A.; Rubin, S.; Zuleger, F.
Public and Private Affairs in Strategic Reasoning
2022 Fijalkow, N.; Maubert, B.; Murano, A.; Rubin, S.; Vardi, M.
Synthesis of Mechanisms with Strategy Logic (Short Paper)
2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER)
2021 Murano, Aniello; D'Amore, Luisa; Laccetti, Giuliano; Maubert, Bastien
Assume-guarantee synthesis for prompt linear temporal logic
2020 Fijalkow, N.; Maubert, B.; Murano, A.; Vardi, M.
Alternating Tree Automata with Qualitative Semantics
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
2017 Berthon, R.; Maubert, B.; Murano, A.
Reasoning about quality and fuzziness of strategic behaviours
2019 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Synthesis under Assumptions
2018 Aminof, Benjamin; De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha
| 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 |