Suguman Bansal
6 papers · 2020–2024 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(13)
π₯
Unstoppable Β· Bronze
π
Renaissance Researcher
(6)
Venues
Top co-authors
Research topics
Keywords
linear temporal logic
(2)
reactive synthesis
(2)
reinforcement learning
(2)
compositional learning
(1)
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)
pac guarantee
(1)
neural network policy
(1)
multi-agent system
(1)
finite automaton
(1)
dfa conversion
(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
NeurIPS 2021
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
AAAI 2020