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
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
Synthesis for LTL and LDL on Finite Traces
IJCAI 2015