Moshe Vardi

Identifiers

• name variant Moshe Vardi 0.60 · backfill

Papers (6)

1. Learning to Solve NP-Complete Problems - A Graph Neural Network for Decision TSP cs.LG · 2018 · author #5
2. Strategy Logic with Imperfect Information cs.LO · 2018 · author #5
3. Safety Model Checking with Complementary Approximations cs.LO · 2016 · author #5
4. Constrained Sampling and Counting: Universal Hashing Meets SAT Solving cs.AI · 2015 · author #2
5. SAT-based Explicit LTL Reasoning cs.LO · 2015 · author #4
6. Mode-Target Games: Reactive Synthesis for Control Applications math.OC · 2015 · author #2

Mentions

• 1504.07702 #2 · arxiv_oai · confidence 0.70 Moshe Vardi
• 1507.02519 #4 · backfill · confidence 0.70 Moshe Vardi
• 1504.07702 #2 · backfill · confidence 0.70 Moshe Vardi

Frequent Coauthors

• Geguang Pu 2 shared papers
• Jianwen Li 2 shared papers
• Shufang Zhu 2 shared papers
• Alexander Ivrii 1 shared papers
• Aniello Murano 1 shared papers
• Ayca Balkan 1 shared papers
• Bastien Maubert 1 shared papers
• Daniel J. Fremont 1 shared papers
• Dror Fried 1 shared papers
• Henrique Lemos 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Luis Lamb 1 shared papers
• Marcelo O. R. Prates 1 shared papers
• Paulo Tabuada 1 shared papers
• Pedro H. C. Avelar 1 shared papers
• Rapha\"el Berthon 1 shared papers
• Sanjit A. Seshia 1 shared papers
• Sasha Rubin 1 shared papers
• Sharad Malik 1 shared papers
• Supratik Chakraborty 1 shared papers