Revising temporal logic specifications for motion planning.
| Autor: | Fainekos, G.E. |
|---|---|
| Zdroj: | 2011 IEEE International Conference on Robotics & Automation (ICRA); 2011, p40-45, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Fainekos, G.E. |
|---|---|
| Zdroj: | 2011 IEEE International Conference on Robotics & Automation (ICRA); 2011, p40-45, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|