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

Zirong Chen
DBLP profile ↗ORCID search ↗
×1
Jiangwei Wang
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Combining LLMs with a Logic-Based Framework to Explain MCTS
    AAMAS 2025 · Ziyan An
  2. LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration
    IJCAI 2025 ·
    Zirong Chen
    DBLP profile ↗ORCID search ↗
  3. Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
    IROS 2025 ·
    Jiangwei Wang
    DBLP profile ↗ORCID search ↗
  4. Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
    ECAI 2024 · Ziyan An
  5. Formal Logic Enabled Personalized Federated Learning through Property Inference
    AAAI 2024 · Ziyan An