Applications of a logic of knowledge to motion planning under uncertainty.
Inspired by the success of the distributed computing community in apply logics of knowledge and time to reasoning about distributed protocols, we aim for a similarly powerful and high-level abstraction when reasoning about control problems involving uncertainty. This paper concentrates on robot moti...
| Argitaratua izan da: | Journal of the ACM 44, 5 (1997). |
|---|---|
| Egile nagusia: | |
| Formatua: | Artikulua |
| Hizkuntza: | ingelesa |
| Gaiak: |