Concepedia

Suguman Bansal

SB

Statistics

Publications

2

Citations

20

H-Index

2

Active since

2020

Affiliations

Rice University(Current)

Suguman Bansal is an author at Rice University specializing in automated reasoning, formal methods, and computer science.

ORCID

Top concepts

Publications per year

2020–2021

2

Publications

2

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications

Suguman Bansal, Yong Li, Lucas M. Tabajara et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 10 citations · Full text

, , +17

Compositional Reinforcement Learning from Logical Specifications

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani et al. · arXiv (Cornell University) · 2021 · 10 citations · Full text

, , +16

Rows per page

1–2 of 2