Moshe Y. Vardi
22 papers
· 2013–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(12)
π
Cross-Pollinator
(4)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(34)
π§¬
Topic Evolution
π
Keyword Champion
ποΈ
Keyword Collector
(96)
π
Trend Setter
π
Century Club
(22)
β‘
Prolific Year
(6)
π₯
Unstoppable
(5)
π
Conference Pioneer
Conferences
IJCAI (14)
AAAI (8)
Top co-authors
Research topics
Keywords
linear temporal logic
(6)
automata theory
(4)
strategy synthesis
(3)
reactive synthesis
(3)
ltl synthesis
(2)
approximation algorithm
(2)
model checking
(2)
finite trace
(2)
model counting
(2)
game theory
(2)
combinatorial optimization
(2)
boolean formula
(2)
formal verification
(2)
transition system
(2)
graph neural network
(2)
knowledge compilation
(1)
approximate counting
(1)
formal methods
(1)
constraint satisfaction
(1)
dynamic programming
(1)
Papers
LTLf Synthesis Under Unreliable Input
AAAI 2025
Partitioning Techniques in LTLf Synthesis
IJCAI 2019
Symbolic LTLf Synthesis
IJCAI 2017
From Weighted to Unweighted Model Counting
IJCAI 2015