PPaperPicks

Lukas Westhofen

2 papers at tracked venues · 1 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Daniel Neider
×2
Till Schallau
×1
Dominik Schmid
×1
Stefan Naujokat
×1
Falk Howar
×1
Jean Christoph Jung
×1

Papers

  1. Test Coverage of Automated Robotic Systems in Open World Environments
    FM 2026 · Lukas Westhofen,
    Till Schallau
    ,
    Dominik Schmid
    ,
    Stefan Naujokat
    ,
    Falk Howar
    ,
    Daniel Neider
  2. Temporal Conjunctive Query Answering via Rewriting
    AAAI 2025 · Lukas Westhofen,
    Jean Christoph Jung
    ,
    Daniel Neider