Alessandro Gianola
7 papers · 2021–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π 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
Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning
AAAI 2026
First-Order Automata
AAAI 2025
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
AAAI 2024
Safety Verification and Universal Invariants for Relational Action Bases
IJCAI 2023
SMT Safety Verification of Ontology-Based Processes
AAAI 2023
Linear Temporal Logic Modulo Theories over Finite Traces
IJCAI 2022
SMT-based Safety Checking of Parameterized Multi-Agent Systems
AAAI 2021