PPaperPicks

Jens Claßen

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2IJCAI ×1

Frequent coauthors

Daxin Liu
DBLP profile ↗ORCID search ↗
×2
Till Hofmann
DBLP profile ↗ORCID search ↗
×1

Papers

  1. LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
    AAAI 2025 ·
    Till Hofmann
    DBLP profile ↗ORCID search ↗
  2. On Action Theories with Iterable First-Order Progression
    AAAI 2025 ·
    Daxin Liu
    DBLP profile ↗ORCID search ↗
  3. First-Order Progression beyond Local-Effect and Normal Actions
    IJCAI 2024 ·
    Daxin Liu
    DBLP profile ↗ORCID search ↗