Moshe Vardi

10 papers · 2015–2024 · 2 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (5) 🌈 Renaissance Researcher (5) 🗺️ Taxonomy Completionist (13) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 💎 Century Club (10) 🚀 Conference Pioneer 🗃️ Keyword Collector (58)

Conferences

AAAI (6) IJCAI (4)

Top co-authors

Giuseppe De Giacomo (3) Shufang Zhu (3) Zhiwei Zhang (2) Anastasios Kyrillidis (2) Assaf Marron (1) Ariel Rosenfeld (1) Aniello Murano (1) Gera Weiss (1) Yingying Shi (1) Shengping Xiao (1)

Keywords

formal verification (3) linear temporal logic (3) ltlf synthesis (2) boolean satisfiability (2) reactive synthesis (2) hybrid optimization (1) constraint solving (1) automated planning (1) sat solver (1) markov decision process (1) dynamic programming (1) exact inference (1) gradient descent (1) constraint satisfaction (1) temporal logic (1) heuristic search (1) boolean function (1) model checking (1) planning under uncertainty (1) fourier analysis (1)

Papers

The Trembling-Hand Problem for LTLf Planning IJCAI 2024

On-the-fly Synthesis for LTL over Finite Traces AAAI 2021

On Continuous Local BDD-Based Search for Hybrid SAT Solving AAAI 2021

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021

ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea) AAAI 2019

Synthesis for LTL and LDL on Finite Traces IJCAI 2015