PPaperPicks

Dror Fried

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

DBLP profile ↗ORCID search ↗

Venues

KR ×2AAAI ×1

Frequent coauthors

Uriya Bartal
DBLP profile ↗ORCID search ↗
×1
Nadav Alon
DBLP profile ↗ORCID search ↗
×1
Giuseppe De Giacomo
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
    KR 2026 ·
    Uriya Bartal
    DBLP profile ↗ORCID search ↗
  2. On-the-fly LTLf Synthesis under Partial Observability
    KR 2026 ·
    Nadav Alon
    DBLP profile ↗ORCID search ↗
  3. Mimicking Behaviors in Separated Domains (Abstract Reprint)
    AAAI 2024 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗