Suguman Bansal

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Safety and co-safety comparator automata for discounted-sum inclusion Computer Aided Verification	2024-02-16	Paper
A framework for transforming specifications in reinforcement learning Lecture Notes in Computer Science	2023-08-10	Paper
Specification-guided reinforcement learning Static Analysis	2023-07-28	Paper
Synthesis of asynchronous reactive programs from temporal specifications Computer Aided Verification	2023-05-26	Paper
Automata vs linear-programming discounted-sum inclusion Computer Aided Verification	2023-05-05	Paper
Specification-Guided Learning of Nash Equilibria with High Social Welfare	2022-12-07	Paper
scientific article; zbMATH DE number 7577577 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577577 (Why is no real title available?)	2022-08-30	Paper
Adapting behaviors via reactive synthesis (available as arXiv preprint)	2022-03-25	Paper
On satisficing in quantitative games (available as arXiv preprint)	2021-08-04	Paper
Comparator automata in quantitative verification (available as arXiv preprint)	2018-07-17	Paper

Research outcomes over time

This page was built for person: Suguman Bansal