Giuseppe De Giacomo
49 papers
· 2013–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(12)
π
Cross-Pollinator
(7)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(32)
π
Conference Loyalist
(35)
π
Keyword Champion
(3)
π€
Dynamic Duo
(10)
π¬
Deep Specialist
(23)
π
Century Club
(46)
π₯
Unstoppable
(11)
β‘
Prolific Year
(7)
π
Conference Pioneer
ποΈ
Keyword Collector
(147)
Conferences
IJCAI (35)
AAAI (14)
Top co-authors
Keywords
temporal logic
(14)
linear temporal logic
(11)
formal verification
(8)
strategy synthesis
(7)
situation calculus
(7)
game theory
(6)
automated planning
(6)
markov decision process
(6)
finite trace
(5)
automata theory
(5)
model checking
(4)
reactive synthesis
(4)
formal methods
(3)
strategic reasoning
(3)
refinement mapping
(3)
first-order logic
(3)
generalized planning
(2)
constraint satisfaction
(2)
discrete mathematics
(2)
pac learning
(2)
Papers
LTLf Synthesis Under Unreliable Input
AAAI 2025
Pure-Past Action Masking
AAAI 2024
The Trembling-Hand Problem for LTLf Planning
IJCAI 2024
Synthesis for LTL and LDL on Finite Traces
IJCAI 2015