Moshe Vardi
10 papers · 2015–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Academic Marathon (9) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (2) π Cross-Pollinator (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
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