Giuseppe Perelli

78 papers A* 16A 9B 6C 6Journal 36Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Behavioral QLTL. Auton. Agents Multi Agent Syst. Giuseppe De Giacomo, Giuseppe Perelli
2025	J	`jnl`	Beyond Predictions: A Participatory Framework for Multi-Stakeholder Decision-Making. CoRR Vittoria Vineis, Giuseppe Perelli, Gabriele Tolomei
2025	J	`jnl`	Demystifying Sequential Recommendations: Counterfactual Explanations via Genetic Algorithms. CoRR Domiziano Scarcelli, Filippo Betello, Giuseppe Perelli, Fabrizio Silvestri, Gabriele Tolomei
2025	A*	`conf`	LTL Synthesis Under Multi-Agent Environment Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin
2025	A*	`conf`	Synthesising Minimum Cost Dynamic Norms. IJCAI Natasha Alechina, Brian Logan, Giuseppe Perelli
2024	J	`jnl`	Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. Log. Methods Comput. Sci. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024	A*	`conf`	Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. IJCAI Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024	A*	`conf`	Incentive Design for Rational Agents. KR David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge
2024	—	`conf`	Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). Description Logics Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2024	A	`conf`	Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli
2024	A*	`conf`	Pure-Past Action Masking. AAAI Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2024	—	`conf`	Strategies in Spatio-Temporal Logics for Multi-agent Systems. ISoLA (1) Paolo Bottoni, Anna Labella, Giuseppe Perelli
2024	—	`conf`	Strategy Repair for Reachability Games (short paper). ICTCS Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
2024	J	`jnl`	Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version). CoRR Muhammad Najib, Giuseppe Perelli
2024	A	`conf`	Synthesis of Reward Machines for Multi-Agent Equilibrium Design. ECAI Muhammad Najib, Giuseppe Perelli
2024	—	`conf`	Towards Strategy Repair for Adjustable Autonomy. AAPEI@ECAI Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
2023	C	`conf`	Behavioral QLTL. EUMAS Giuseppe De Giacomo, Giuseppe Perelli
2023	J	`jnl`	Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2023	J	`jnl`	On the complexity of rational verification. Ann. Math. Artif. Intell. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2023	A	`conf`	Optimal Alignment of Temporal Knowledge Bases. ECAI Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2023	J	`jnl`	Optimal Alignment of Temporal Knowledge Bases. CoRR Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
2023	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2023	A	`conf`	Strategy Repair in Reachability Games. ECAI Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli
2022	A*	`conf`	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2022	C	`conf`	Giving Instructions in Linear Temporal Logic. TIME Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge
2022	J	`jnl`	On the Complexity of Rational Verification. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2021	J	`jnl`	Behavioral QLTL. CoRR Giuseppe De Giacomo, Giuseppe Perelli
2021	J	`jnl`	Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2021	J	`jnl`	Equilibrium Design for Concurrent Games. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2021	J	`jnl`	Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM Trans. Comput. Log. Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2021	A*	`conf`	HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
2021	J	`jnl`	Multi-player games with LDL goals over finite traces. Inf. Comput. Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2021	J	`jnl`	Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
2021	A*	`conf`	Synthesis with Mandatory Stop Actions. KR Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
2021	A*	`conf`	Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
2020	J	`jnl`	Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020	J	`jnl`	Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020	J	`jnl`	Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2020	J	`jnl`	Hierarchical cost-parity games. Theor. Comput. Sci. Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2020	J	`jnl`	Multi-Player Games with LDL Goals over Finite Traces. CoRR Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2020	A	`conf`	Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2020	A	`conf`	Reconfigurable Interaction for MAS Modelling. AAMAS Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
2019	J	`jnl`	A Computational Framework for Adaptive Systems and its Verification. CoRR Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
2019	A	`conf`	Enforcing Equilibria in Multi-Agent Systems. AAMAS Giuseppe Perelli
2019	B	`conf`	Equilibrium Design for Concurrent Games. CONCUR Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2019	J	`jnl`	Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2019	A*	`conf`	On Computational Tractability for Rational Verification. IJCAI Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2019	A*	`conf`	Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	J	`jnl`	Solving Parity Games Using An Automata-Based Algorithm. CoRR Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2018	J	`jnl`	Cycle detection in computation tree logic. Inf. Comput. Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2018	B	`conf`	EVE: A Tool for Temporal Equilibrium Analysis. ATVA Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2018	J	`jnl`	Imperfect information in Reactive Modules games. Inf. Comput. Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2018	J	`jnl`	Nash Equilibrium and Bisimulation Invariance. CoRR Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2018	A*	`conf`	Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. IJCAI Shaull Almagor, Orna Kupferman, Giuseppe Perelli
2017	C	`conf`	Hierarchical Cost-Parity Games. TIME Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2017	A	`conf`	Iterated Games with LDL Goals over Finite Traces. AAMAS Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2017	A*	`conf`	Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
2017	B	`conf`	Nash Equilibrium and Bisimulation Invariance. CONCUR Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2017	J	`jnl`	Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2016	J	`jnl`	Checking Interval Properties of Computations. CoRR Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	J	`jnl`	Checking interval properties of computations. Acta Informatica Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	—	`conf`	Cycle Detection in Computation Tree Logic. GandALF Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2016	A	`conf`	Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2016	A*	`conf`	Imperfect Information in Reactive Modules Games. KR Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2016	A*	`conf`	Rational Verification: From Model Checking to Equilibrium Checking. AAAI Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
2016	C	`conf`	Solving Parity Games Using an Automata-Based Algorithm. CIAA Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2016	J	`jnl`	Synthesis with rational environments. Ann. Math. Artif. Intell. Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi
2015	B	`conf`	Binding Forms in First-Order Logic. CSL Fabio Mogavero, Giuseppe Perelli
2015	B	`conf`	Multi-agent Path Planning in Known Dynamic Environments. PRIMA Aniello Murano, Giuseppe Perelli, Sasha Rubin
2015	A*	`conf`	Pushdown Multi-Agent System Verification. IJCAI Aniello Murano, Giuseppe Perelli
2014	C	`conf`	Checking Interval Properties of Computations. TIME Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2014	J	`jnl`	On the Remarkable Features of Binding Forms. CoRR Fabio Mogavero, Giuseppe Perelli
2014	J	`jnl`	Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2014	C	`conf`	Synthesis with Rational Environments. EUMAS Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi
2012	J	`jnl`	A Decidable Fragment of Strategy Logic CoRR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2012	B	`conf`	What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2011	J	`jnl`	Reasoning About Strategies: On the Model-Checking Problem CoRR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi