Finite State Approximation for Verification of Partially Observable Stochastic Hybrid Systems
| Title | Finite State Approximation for Verification of Partially Observable Stochastic Hybrid Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Kendra Lesser, Meeko Oishi |
| Conference Name | Hybrid Systems: Computation and Control |
| Date Published | April |
| Conference Location | Seattle, WA |
| Keywords | 1329878 |
| Citation Key | LO15b |