Results 271 to 280 of about 294,052 (285)

Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications

IEEE Transactions on Automation Science and Engineering, 2006
Shengbing Jiang, Ratnesh
exaly  

Combining linear-time temporal logic with constructiveness and paraconsistency

Journal of Applied Logic, 2010
Norihiro Kamide, Heinrich Wansing
exaly  

Randomized sampling-based trajectory optimization for UAVs to satisfy linear temporal logic specifications

Aerospace Science and Technology, 2020
Raghvendra V Cowlagi
exaly  

Basic Propositional Linear Temporal Logic

2008
Fred Kröger, Stephan Merz
openaire   +1 more source

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

International Journal of Robotics Research, 2018
Philipp Schillinger, Mathias Bürger, Dimos V Dimarogonas   +2 more
exaly  

Temporal-Logic-Based Reactive Mission and Motion Planning

IEEE Transactions on Robotics, 2009
Hadas Kress-Gazit
exaly  

Linear-Time Temporal Logic

Martin Hofmann, Martin Lange
openaire   +1 more source

Alternating-time temporal logic

Journal of the ACM, 2002
Rajeev Alur, Orna Kupferman
exaly  

First-Order Linear Temporal Logic

2008
Fred Kröger, Stephan Merz
openaire   +1 more source

Model checking linear temporal logic of rewriting formulas under localized fairness

Science of Computer Programming, 2015
Kyungmin Bae, Jose Meseguer
exaly