Formal methods for robot motion planning with time and space constraints (extended abstract) (Q832022)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal methods for robot motion planning with time and space constraints (extended abstract) |
scientific article; zbMATH DE number 7497997
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods for robot motion planning with time and space constraints (extended abstract) |
scientific article; zbMATH DE number 7497997 |
Statements
Formal methods for robot motion planning with time and space constraints (extended abstract) (English)
0 references
24 March 2022
0 references
motion planning
0 references
temporal logic
0 references
RRT*
0 references
feedback control
0 references
MTL
0 references
STL
0 references
0 references
0 references
