Fabio Patrizi
11 papers
· 2013–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(13)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Polyglot
(2)
π
Academic Marathon
(11)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
π
Century Club
(11)
π
Conference Pioneer
Conferences
IJCAI (7)
AAAI (4)
Top co-authors
Keywords
temporal logic
(3)
first-order logic
(2)
finite trace
(2)
formal verification
(1)
hierarchical reinforcement learning
(1)
markov decision process
(1)
optimal policy
(1)
answer set programming
(1)
reward shaping
(1)
model checking
(1)
strategy synthesis
(1)
linear temporal logic
(1)
linear arithmetic
(1)
intelligent agent
(1)
controller synthesis
(1)
process mining
(1)
runtime monitoring
(1)
domain separation
(1)
behavior synthesis
(1)
manufacturing system
(1)
Papers
ASP-Based Declarative Process Mining
AAAI 2022