You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (45)

Journals (0)

1-10 of 45 results for temporal logic planning

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Motion planning with temporal-logic specifications: Progress and challenges

Retricted access

Research article

First published 2015-8

Motion planning with temporal-logic specifications: Progress and challenges

Erion Plaku, Sertac Karaman

The European Journal on Artificial Intelligence

Select article: Reactive sampling-based path planning with temporal logic specifications

Retricted access

Research article

First published 2020-7

Reactive sampling-based path planning with temporal logic specifications

Cristian Ioan Vasile, Xiao Li, Calin Belta

The International Journal of Robotics Research

Select article: Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications

Retricted access

Research article

First published 2025-4

Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications

Ziyang Chen, Zhen Kan

The International Journal of Robotics Research

Select article: No-regret path planning for temporal logic tasks in partially-known environments

Retricted access

Research article

First published 2025-8

No-regret path planning for temporal logic tasks in partially-known environments

Jianing Zhao, Keyi Zhu, Mingyang Feng [...]

The International Journal of Robotics Research

Select article: Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

Retricted access

Research article

First published 2013-7

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding [...]

The International Journal of Robotics Research

Select article: Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Retricted access

Research article

First published 2018-6

Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas

The International Journal of Robotics Research

Select article: Optimal path planning for surveillance with temporal-logic constraints *

Retricted access

Research article

First published 2011-12

Optimal path planning for surveillance with temporal-logic constraints *

Stephen L Smith, Jana Tůmová, Calin Belta [...]

The International Journal of Robotics Research

Select article: Planning for heterogeneous teams of robots with temporal logic,capability,and resource constraints

Retricted access

Research article

First published 2024-11

Planning for heterogeneous teams of robots with temporal logic,capability,and resource constraints

Gustavo A. Cardona, Cristian-Ioan Vasile

The International Journal of Robotics Research

Select article: Automated reasoning in quantified modal and temporal logics

Retricted access

Research article

First published 2006-5

Automated reasoning in quantified modal and temporal logics

Claudio Castellini

The European Journal on Artificial Intelligence

Select article: Combining Activity DSM with Temporal Logic for Collaborative Planning and Scheduling

Open access

Research article

First published 2013-9

Combining Activity DSM with Temporal Logic for Collaborative Planning and Scheduling

Mathieu Baudin, Pierre Bonnal, Jean-Michel Ruiz

International Journal of Advanced Robotic Systems

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access