Giuseppe Perelli
9 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (9) π£ Hot Topic Early Bird
π
Cross-Pollinator
(6)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(14)
Conferences
IJCAI (8)
AAAI (1)
Top co-authors
Keywords
temporal logic
(4)
model checking
(3)
multi-agent system
(3)
nash equilibrium
(2)
action masking
(1)
quantitative reasoning
(1)
cost optimization
(1)
concurrent game
(1)
lexicographic preference
(1)
finite-memory strategy
(1)
buchi objective
(1)
mean-payoff function
(1)
finite trace
(1)
strategy logic
(1)
fuzzy temporal logic
(1)
process mining
(1)
business process management
(1)
pure-past linear temporal logic
(1)
norm synthesis
(1)
side payment
(1)
Papers
Synthesising Minimum Cost Dynamic Norms
IJCAI 2025
Pure-Past Action Masking
AAAI 2024
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents
IJCAI 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