Suguman Bansal

Available identifiers

zbMath Open bansal.sugumanMaRDI QIDQ832235

List of research outcomes

Publication	Date of Publication	Type
Safety and co-safety comparator automata for discounted-sum inclusion	2024-02-16	Paper
A framework for transforming specifications in reinforcement learning	2023-08-10	Paper
Specification-guided reinforcement learning	2023-07-28	Paper
Synthesis of asynchronous reactive programs from temporal specifications	2023-05-26	Paper
Automata vs linear-programming discounted-sum inclusion	2023-05-05	Paper
Specification-Guided Learning of Nash Equilibria with High Social Welfare	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5101346	2022-08-30	Paper
Adapting behaviors via reactive synthesis	2022-03-25	Paper
On satisficing in quantitative games	2021-08-04	Paper
Comparator automata in quantitative verification	2018-07-17	Paper

Research outcomes over time

This page was built for person: Suguman Bansal