Dror Fried
3 papers
· 2015–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🏃
Academic Marathon
(9)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (1)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
combinatorial optimization
(1)
dimensionality reduction
(1)
automated planning
(1)
formal methods
(1)
approximate counting
(1)
neural network verification
(1)
strategy synthesis
(1)
linear temporal logic
(1)
intelligent agent
(1)
model counting
(1)
discrete integration
(1)
domain separation
(1)
behavior synthesis
(1)
behavioral mimicry
(1)
finite trace property
(1)
trace property
(1)