bibliographer - Giuseppe Perelli

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge [github]

Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents Julian Gutierrez David Hyland Muhammad Najib Giuseppe Perelli Michael Wooldridge [github]

Giving Instructions in Linear Temporal Logic Julian Gutierrez Sarit Kraus Giuseppe Perelli Michael Wooldridge [github]

On the Complexity of Rational Verification Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge [github]

Rational verification: game-theoretic verification of multi-agent systems Alessandro Abate Julian Gutierrez Lewis Hammond Paul Harrenstein Marta Kwiatkowska Muhammad Najib Giuseppe Perelli Thomas Steeples Michael Wooldridge [github]

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge [github]

Reasoning About Strategies Fabio Mogavero Aniello Murano Giuseppe Perelli Moshe Y. Vardi [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]