Moshe Y. Vardi

Venues

Frequent coauthors

Papers

1. On-the-fly LTLf Synthesis under Partial Observability
   KR 2026 ·

   Nadav Alon

   DBLP profile ↗ORCID search ↗
2. LTLf Synthesis Under Unreliable Input
   AAAI 2025 ·

   Christian Hagemeier

   DBLP profile ↗ORCID search ↗
3. LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
   IJCAI 2025 ·

   Benjamin Aminof

   DBLP profile ↗ORCID search ↗
4. Accelerating Long-Horizon Planning with Affordance-Directed Dynamic Grounding of Abstract Strategies
   ICRA 2024 ·

   Khen Elimelech

   DBLP profile ↗ORCID search ↗
5. Probabilistic Synthesis and Verification for LTL on Finite Traces
   KR 2024 ·

   Benjamin Aminof

   DBLP profile ↗ORCID search ↗
6. Stochastic Games for Interactive Manipulation Domains
   ICRA 2024 ·

   Karan Muvvala

   DBLP profile ↗ORCID search ↗
7. The Trembling-Hand Problem for LTLf Planning
   IJCAI 2024 ·

   Pian Yu

   DBLP profile ↗ORCID search ↗