Formal methods for robot motion planning with time and space constraints (extended abstract)
type: Item
instance of: scholarly article
title: Formal methods for robot motion planning with time and space constraints (extended abstract)
DOI: 10.1007/978-3-030-85037-1_1
author: F. S. Barbosa
author: Jesper Karlsson
author: Pouria Tajvar
author: Jana Tůmová
publication date: 2022-03-24T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7497997
zbMATH Keywords: motion planning
zbMATH Keywords: temporal logic
zbMATH Keywords: RRT*
zbMATH Keywords: feedback control
zbMATH Keywords: MTL
zbMATH Keywords: STL
describes a project that uses: FaSTrack
MaRDI profile type: Publication
full work available at URL: 978-3-030-85037-1 1
OpenAlex ID: W3195836915
cites work: FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
cites work: Incremental Sampling-Based Algorithms for a Class of Pursuit-Evasion Games
cites work: A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
cites work: Planning Algorithms
description: scientific article; zbMATH DE number 7497997