| Title | Sampling-based reactive motion planning with temporal logic constraints and imperfect state information |
| Publication Type | Conference Proceedings |
| Year of Conference | 2017 |
| Authors | Montana, F. J., J. Liu, and T. J. Dodd |
| Conference Name | Critical Systems: Formal Methods and Automated Verification |
| Volume | 10471 |
| Pagination | 134–149 |
| Publisher | Springer |
| DOI | 10.1007/978-3-319-67113-0_9 |
