PPaperPicks

Ziyan An

5 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1AAMAS ×1ECAI ×1IJCAI ×1IROS ×1

Frequent coauthors

Meiyi Ma
×5
Hendrik Baier
×2
Zirong Chen
×2
Abhishek Dubey
×2
Taylor T. Johnson
×2
Ayan Mukhopadhyay
×2
Xia Wang
×1
Jonathan Sprinkle
×1
Jennifer Reynolds
×1
Kristin Mullen
×1
Stephen Martini
×1
Jiangwei Wang
×1

Papers

  1. Combining LLMs with a Logic-Based Framework to Explain MCTS
    AAMAS 2025 · Ziyan An,
    Xia Wang
    ,
    Hendrik Baier
    ,
    Zirong Chen
    ,
    Abhishek Dubey
    ,
    Taylor T. Johnson
    ,
    Jonathan Sprinkle
    ,
    Ayan Mukhopadhyay
    ,
    Meiyi Ma
  2. LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration
    IJCAI 2025 ·
    Zirong Chen
    , Ziyan An,
    Jennifer Reynolds
    ,
    Kristin Mullen
    ,
    Stephen Martini
    ,
    Meiyi Ma
  3. Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
    IROS 2025 ·
    Jiangwei Wang
    ,
    Shuo Yang
    , Ziyan An,
    Songyang Han
    ,
    Zhili Zhang
    ,
    Rahul Mangharam
    ,
    Meiyi Ma
    ,
    Fei Miao
  4. Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
    ECAI 2024 · Ziyan An,
    Hendrik Baier
    ,
    Abhishek Dubey
    ,
    Ayan Mukhopadhyay
    ,
    Meiyi Ma
  5. Formal Logic Enabled Personalized Federated Learning through Property Inference
    AAAI 2024 · Ziyan An,
    Taylor T. Johnson
    ,
    Meiyi Ma