Suguman Bansal
6 papers
· 2020–2024
· 4 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(5)
π
Conference Polyglot
(4)
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π₯
Unstoppable
(5)
Conferences
AAAI (3)
ICML (1)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
linear temporal logic
(2)
reactive synthesis
(2)
automated reasoning
(1)
formal verification
(1)
nash equilibrium
(1)
discounted reward
(1)
automata theory
(1)
ltlf synthesis
(1)
deterministic finite automaton
(1)
logical specification
(1)
symbolic representation
(1)
syntax tree
(1)
abstract syntax tree
(1)
neural network policy
(1)
multi-agent system
(1)
finite automaton
(1)
dfa conversion
(1)
robotic planning
(1)
reactive system
(1)
high-level planning
(1)