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 |
|---|---|---|
| Rethinking fairness for human-AI collaboration (extended abstract) | 2025-11-04 | Paper |
| scientific article; zbMATH DE number 7809762 (Why is no real title available?) (available as arXiv preprint) | 2024-02-27 | Paper |
| scientific article; zbMATH DE number 7809762 (Why is no real title available?) | 2024-02-27 | Paper |
| Policy synthesis and reinforcement learning for discounted LTL | 2024-02-01 | Paper |
| A framework for transforming specifications in reinforcement learning Lecture Notes in Computer Science | 2023-08-10 | Paper |
| Specification-Guided Learning of Nash Equilibria with High Social Welfare | 2022-12-07 | Paper |
| Program synthesis using deduction-guided reinforcement learning | 2021-02-09 | Paper |
| Specification inference using context-free language reachability Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Randomization, sums of squares, near-circuits, and faster real root counting (available as arXiv preprint) | 2012-01-05 | Paper |
Research outcomes over time
This page was built for person: Osbert Bastani
