Temporal-Logic-Based Reactive Mission And Motion Planning

·2009·DOI

Engineering and Technology

Communication and Signal Processing

Aviation Systems and Sustainability

Temporal Logic and Reasoning

Role in the Field

Neutralin Engineering and Technology

Neutralin Communication and Signal Processing

Neutralin Aviation Systems and Sustainability

Neutralin Temporal Logic and Reasoning

Abstract

Citations

553

Year

2009

PageRank

3.1 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Temporal Networks

·2012·2,143 citations

Temporal Construal.

·2003·2,577 citations

Alternating-time Temporal Logic

·2002·814 citations

The Temporal Logic Of Actions

·1994·1,014 citations

The Temporal Logic Of Reactive And Concurrent Systems

·1992·1,488 citations

Temporal Constraint Networks

·1991·914 citations

Nonmonotonic Reasoning, Preferential Models And Cumulative Logics

·1990·999 citations

Temporal And Modal Logic

·1990·826 citations

Specifying Real-Time Properties With Metric Temporal Logic

·1990·799 citations

Maintaining Knowledge About Temporal Intervals

·1983·4,618 citations

The Temporal Logic Of Programs

·1977·3,082 citations