Osbert Bastani

Available identifiers

zbMath Open bastani.osbertMaRDI QIDQ2226759

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6121516	2024-02-27	Paper
Policy synthesis and reinforcement learning for discounted LTL	2024-02-01	Paper
A framework for transforming specifications in reinforcement learning	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	2016-09-29	Paper
Randomization, sums of squares, near-circuits, and faster real root counting	2012-01-05	Paper

Research outcomes over time

This page was built for person: Osbert Bastani