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

Shufang Zhu
×2
Uriya Bartal
×1
Jean-Marie Lagniez
×1
Nadav Alon
×1
Supratik Chakraborty
×1
Alexandre Duret-Lutz
×1
Lucas M. Tabajara
×1
Moshe Y. Vardi
×1
Giuseppe De Giacomo
×1
Fabio Patrizi
×1

Papers

  1. Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
    KR 2026 ·
    Uriya Bartal
    , Dror Fried,
    Jean-Marie Lagniez
  2. On-the-fly LTLf Synthesis under Partial Observability
    KR 2026 ·
    Nadav Alon
    ,
    Supratik Chakraborty
    ,
    Alexandre Duret-Lutz
    , Dror Fried,
    Lucas M. Tabajara
    ,
    Moshe Y. Vardi
    ,
    Shufang Zhu
  3. Mimicking Behaviors in Separated Domains (Abstract Reprint)
    AAAI 2024 ·
    Giuseppe De Giacomo
    , Dror Fried,
    Fabio Patrizi
    ,
    Shufang Zhu