Correct, Reactive Robot Control from Abstraction and Temporal Logic Specifications
| Type of publication: | Article |
| Citation: | kressgazit:2011voa |
| Journal: | Special Issue of the IEEE Robotics and Automation Magazine on Formal Methods for Robotics and Automation |
| Volume: | 18 |
| Number: | 3 |
| Year: | 2011 |
| Month: | September |
| Pages: | 65--74 |
| Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|