Paolo Felli
11 papers
· 2013–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(13)
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π
Keyword Champion
(3)
π
Century Club
(11)
π
Conference Pioneer
Conferences
IJCAI (7)
AAAI (4)
Top co-authors
Keywords
controller synthesis
(3)
model checking
(3)
formal verification
(3)
process planning
(2)
finite trace
(2)
temporal logic
(2)
manufacturing system
(2)
process mining
(1)
runtime monitoring
(1)
multi-agent system
(1)
manufacturing orchestration
(1)
automata transducer
(1)
parameterized multi-agent system
(1)
smt-based model checking
(1)
infinite-state model checking
(1)
array-based system
(1)
satisfiability modulo theories
(1)
situation calculus
(1)
business process management
(1)
manufacturing automation
(1)