Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems
Title | Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Kendra Lesser, Meeko Oishi |
Journal | IEEE Transactions on Automatic Control |
Volume | 62 |
Pagination | 81–96 |
Keywords | 1329878 |
Citation Key | KO17 |