Buscar
Mostrando ítems 1-10 de 86
Hybrid and subexponential linear logics
(Elsevier, 2017)
Linear Temporal Logic-based Mission Planning
In this paper, we describe the Linear Temporal
Logic-based reactive motion planning. We address the problem of
motion planning for mobile robots, wherein the goal specification
of planning is given in complex environments. ...
Uma automação de lógica temporal
(BrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionais, 2016)
Real time search with linear temporal goals
(2023)
In Real-Time Heuristic Search (RTHS) we are given a search graph G, a heuristic, and an objective, which is to find a path from a start node to a given goal node in G. As such, one does not impose any trajectory constraints ...
First-Order and Temporal Logics for Nested Words
(IEEE, 2007)
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of parse trees and other tree-structured ...
Um estudo de lógica linear com subexponenciais
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2017-02-15)
In Classical Logic, we can use a given hypothesis an indefinite number of times. For
example, the proof of a theorem may use the same lemma several times. However, in
physical, chemical and computational systems, the ...
Model checking LTL formulae in RAISE with FDR
(Scopus, 2009)
TheRaise SpecificationLanguage (RSL) is a modeling languagewhich supports various specification styles. To apply model checking to RSL concurrent descriptions, we translate RSL specifications into the input language CSPM ...