PPaperPicks

Benjamin Bordais

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Daniel Neider
×2
Rajarshi Roy
×1

Papers

  1. Learning DFAs from Positive Examples Only via Word Counting
    AAAI 2026 · Benjamin Bordais,
    Daniel Neider
  2. Learning Branching-Time Properties in CTL and ATL via Constraint Solving
    FM 2024 · Benjamin Bordais,
    Daniel Neider
    ,
    Rajarshi Roy