PPaperPicks

Jie An

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

DBLP profile ↗ORCID search ↗

Venues

FM ×4AAAI ×2ACL ×1

Frequent coauthors

Naijun Zhan
×4
Ichiro Hasuo
×3
Shenghua Feng
×2
Fanjiang Xu
×2
Yue Fang
×2
Zhi Jin
×2
Hongshen Chen
×2
Xiao-hong Chen
×2
Zhenya Zhang
×2
Martin Jouve-Genty
×1
Han Su
×1
Sota Sato
×1

Papers

  1. Exact Moment Estimation of Stochastic Differential Dynamics
    FM 2026 ·
    Shenghua Feng
    , Jie An,
    Naijun Zhan
    ,
    Fanjiang Xu
  2. RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
    AAAI 2026 ·
    Yue Fang
    ,
    Zhi Jin
    , Jie An,
    Hongshen Chen
    ,
    Xiao-hong Chen
    ,
    Naijun Zhan
  3. Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
    AAAI 2026 ·
    Shenghua Feng
    , Jie An,
    Fanjiang Xu
  4. STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP
    FM 2026 ·
    Martin Jouve-Genty
    ,
    Han Su
    ,
    Sota Sato
    , Jie An,
    Zhenya Zhang
    ,
    Ichiro Hasuo
  5. Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
    ACL 2025 ·
    Yue Fang
    ,
    Zhi Jin
    , Jie An,
    Hongshen Chen
    ,
    Xiao-hong Chen
    ,
    Naijun Zhan
  6. CauMon: An Informative Online Monitor for Signal Temporal Logic
    FM 2024 ·
    Zhenya Zhang
    , Jie An,
    Paolo Arcaini
    ,
    Ichiro Hasuo
  7. The Opacity of Timed Automata
    FM 2024 · Jie An,
    Qiang Gao
    ,
    Lingtai Wang
    ,
    Naijun Zhan
    ,
    Ichiro Hasuo