Suguman Bansal
6 papers · 2020–2024 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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)
Papers
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)
AAAI 2024
Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
ICML 2024
Multi-Agent Systems with Quantitative Satisficing Goals
IJCAI 2023
Synthesis from Satisficing and Temporal Goals
AAAI 2022
Compositional Reinforcement Learning from Logical Specifications
NIPS 2021
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
AAAI 2020