Visible to the public Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems

TitleApproximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems
Publication TypeJournal Article
Year of Publication2017
AuthorsKendra Lesser, Meeko Oishi
JournalIEEE Transactions on Automatic Control
Volume62
Pagination81–96
Keywords1329878
Citation KeyKO17