Jianwen Li
4 papers
· 2017–2022
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(2)
🏆
Keyword Champion
(2)
📈
Trend Setter
🚀
Conference Pioneer
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
linear temporal logic
(4)
finite trace
(2)
deterministic finite automaton
(2)
symbolic computation
(1)
graph search
(1)
sat solving
(1)
strategy synthesis
(1)
automata theory
(1)
ltlf synthesis
(1)
transition system
(1)
propositional satisfiability
(1)
satisfiability checking
(1)
symbolic synthesis
(1)
boolean formula
(1)
conflict-driven learning
(1)
adversarial search
(1)
on-the-fly construction
(1)
sat-based technique
(1)
path-search problem
(1)
automaton construction
(1)