Physics-based Motion Planning with Temporal Logic Specifications

Muhayyuddin Gillani; Aliakbar Akbari; Jan Rosell

doi:10.1016/j.ifacol.2017.08.1578

ScienceGate Book Chapters

JOURNAL ARTICLE

Physics-based Motion Planning with Temporal Logic Specifications

Muhayyuddin Gillani Aliakbar Akbari Jan Rosell

Year: 2017 Journal: IFAC-PapersOnLine Vol: 50 (1)Pages: 8993-8999 Publisher: Elsevier BV

DOI: 10.1016/j.ifacol.2017.08.1578

Get Full-Text PDF Get Analytical Report

Abstract

The final version of this work is available at https://doi.org/10.1016/j.ifacol.2017.08.1578 Copyright of all papers belongs to IFAC and must be referenced if derivative journal papers are produced from the conference papers.

Keywords:

Linear temporal logic Task (project management) Temporal logic Computer science Motion (physics) Plan (archaeology) Artificial intelligence Robotics Robot Simple (philosophy) Motion planning Human–computer interaction Theoretical computer science Engineering Systems engineering

Metrics

Cited By

0.38

FWCI (Field Weighted Citation Impact)

Refs

0.67

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Robotic Path Planning Algorithms

Physical Sciences → Computer Science → Computer Vision and Pattern Recognition

AI-based Problem Solving and Planning

Physical Sciences → Computer Science → Artificial Intelligence

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Physics-based Motion Planning with Temporal Logic Specifications

Abstract

Metrics

Citation History

Topics

Related Documents

Model-based motion planning in POMDPs with temporal logic specifications

Revising temporal logic specifications for motion planning

Motion planning with temporal-logic specifications: Progress and challenges

Task Planning and Motion Control with Temporal Logic Specifications

Motion Planning for Mobile Robots with Temporal Logic Specifications