PPaperPicks

Alessandro Gianola

3 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3

Frequent coauthors

Pierriccardo Olivieri
DBLP profile ↗ORCID search ↗
×1
Luca Geatti
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning
    AAAI 2026 ·
    Pierriccardo Olivieri
    DBLP profile ↗ORCID search ↗
  2. First-Order Automata
    AAAI 2025 ·
    Luca Geatti
    DBLP profile ↗ORCID search ↗
  3. Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
    AAAI 2024 · Alessandro Gianola