Giuseppe Perelli
9 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (14) π£ Hot Topic Early Bird
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Artificial Intelligence
(7)
Core AI
(7)
Knowledge & Reasoning
(2)
Machine Learning
(2)
Optimization & Theory
(2)
Reasoning
(2)
Computer Science
(1)
Deep Learning
(1)
Mathematics & Optimization
(1)
Reinforcement Learning
(1)
Applications Β· Computer Science
(1)
Applications Β· Reinforcement Learning
(1)
Foundations
(1)
Learning Types
(1)
Methods
(1)
Keywords
temporal logic
(5)
nash equilibrium
(3)
multi-agent system
(3)
model checking
(3)
action masking
(1)
quantitative reasoning
(1)
cost optimization
(1)
price of anarchy
(1)
concurrent game
(1)
lexicographic preference
(1)
finite-memory strategy
(1)
buchi objective
(1)
mean-payoff function
(1)
strategy synthesis
(1)
finite trace
(1)
price of stability
(1)
strategy logic
(1)
fuzzy temporal logic
(1)
process mining
(1)
business process management
(1)
Papers
Synthesising Minimum Cost Dynamic Norms
IJCAI 2025
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents
IJCAI 2024
Pure-Past Action Masking
AAAI 2024
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
IJCAI 2021
On Computational Tractability for Rational Verification
IJCAI 2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
IJCAI 2019
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game
IJCAI 2018
Nash Equilibria in Concurrent Games with Lexicographic Preferences
IJCAI 2017
Pushdown Multi-Agent System Verification
IJCAI 2015