Alessandro Gianola
7 papers
· 2021–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
πΊοΈ
Taxonomy Completionist
(13)
π§
Keyword Pioneer
π
Cross-Pollinator
(14)
π
Academic Marathon
(5)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π
Keyword Champion
(3)
π§¬
Topic Evolution
π₯
Unstoppable
(5)
Conferences
AAAI (5)
IJCAI (2)
Top co-authors
Keywords
model checking
(4)
formal verification
(4)
satisfiability modulo theories
(3)
safety verification
(3)
first-order logic
(2)
automata theory
(2)
linear temporal logic
(2)
reward machine
(1)
satisfiability modulo theory
(1)
description logic
(1)
finite trace
(1)
regular language
(1)
multi-agent system
(1)
parameterized multi-agent system
(1)
smt-based model checking
(1)
infinite-state model checking
(1)
array-based system
(1)
ontology-based process
(1)
backward reachability
(1)
artifact system
(1)
Papers
First-Order Automata
AAAI 2025