PPaperPicks

Moshe Y. Vardi

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

DBLP profile ↗ORCID search ↗

Venues

ICRA ×2IJCAI ×2KR ×2AAAI ×1CP ×1

Frequent coauthors

Giuseppe De Giacomo
×3
Shufang Zhu
×2
Benjamin Aminof
×2
Sasha Rubin
×2
Lydia E. Kavraki
×2
Giuseppe Spallitta
×1
Leonardo Dueñas-Osorio
×1
Nadav Alon
×1
Supratik Chakraborty
×1
Alexandre Duret-Lutz
×1
Dror Fried
×1
Lucas M. Tabajara
×1

Papers

  1. Computing Short SAT Implicants via Ising/QUBO Encodings
    CP 2026 ·
    Giuseppe Spallitta
    ,
    Leonardo Dueñas-Osorio
    , Moshe Y. Vardi
  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. LTLf Synthesis Under Unreliable Input
    AAAI 2025 ·
    Christian Hagemeier
    ,
    Giuseppe De Giacomo
    , Moshe Y. Vardi
  4. LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
    IJCAI 2025 ·
    Benjamin Aminof
    ,
    Giuseppe De Giacomo
    ,
    Sasha Rubin
    , Moshe Y. Vardi
  5. Accelerating Long-Horizon Planning with Affordance-Directed Dynamic Grounding of Abstract Strategies
    ICRA 2024 ·
    Khen Elimelech
    ,
    Zachary Kingston
    ,
    Wil Thomason
    , Moshe Y. Vardi,
    Lydia E. Kavraki
  6. Probabilistic Synthesis and Verification for LTL on Finite Traces
    KR 2024 ·
    Benjamin Aminof
    ,
    Linus Cooper
    ,
    Sasha Rubin
    , Moshe Y. Vardi,
    Florian Zuleger
  7. Stochastic Games for Interactive Manipulation Domains
    ICRA 2024 ·
    Karan Muvvala
    ,
    Andrew M. Wells
    ,
    Morteza Lahijanian
    ,
    Lydia E. Kavraki
    , Moshe Y. Vardi
  8. The Trembling-Hand Problem for LTLf Planning
    IJCAI 2024 ·
    Pian Yu
    ,
    Shufang Zhu
    ,
    Giuseppe De Giacomo
    ,
    Marta Kwiatkowska
    , Moshe Y. Vardi