Imagen de Portada

Querying Perception Streams with Spatial Regular Expressions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Anderson, Jacob, Fainekos, Georgios, Hoxha, Bardh, Okamoto, Hideki, Prokhorov, Danil
Formato:	Preprint
Publicado:	2024
Materias:	Robotics Computer Vision and Pattern Recognition Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
por: Zhao, Yiqi, et al.
Publicado: (2025)

Hierarchical Clustering using Reversible Binary Cellular Automata for High-Dimensional Data
por: J., Baby C., et al.
Publicado: (2024)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
por: Anderson, Jacob, et al.
Publicado: (2026)

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
por: Yang, Yunhao, et al.
Publicado: (2025)

On the Expressive Power of Regular Expressions with Backreferences
por: Nogami, Taisei, et al.
Publicado: (2023)

Weighted Automata and Regular Expressions for Financial Systems
por: Droste, Manfred, et al.
Publicado: (2026)

Querying Labeled Time Series Data with Scenario Programs
por: Kim, Edward, et al.
Publicado: (2025)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
por: Uezato, Yuya
Publicado: (2024)

A Regular and Complete Notion of Delay for Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2022)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
por: Zetzsche, Stefan, et al.
Publicado: (2024)

The Trembling-Hand Problem for LTLf Planning
por: Yu, Pian, et al.
Publicado: (2024)

Learning specifications for reactive synthesis with safety constraints
por: Watanabe, Kandai, et al.
Publicado: (2026)

Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
por: Yin, Yihao, et al.
Publicado: (2026)

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
por: Balakrishnan, Anand, et al.
Publicado: (2024)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
por: Ren, Jiming, et al.
Publicado: (2024)

Autonomous Task Planning for Heterogeneous Multi-Agent Systems
por: Tziola, Anatoli A., et al.
Publicado: (2022)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
por: Cardona, Gustavo A., et al.
Publicado: (2025)

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
por: Yuasa, Mikihisa, et al.
Publicado: (2025)

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
por: Henkel, Christian, et al.
Publicado: (2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
por: Yu, Pian, et al.
Publicado: (2025)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
por: Lin, Xuan, et al.
Publicado: (2024)

Robust MITL planning under uncertain navigation times
por: Linard, Alexis, et al.
Publicado: (2024)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
por: Nogami, Taisei, et al.
Publicado: (2024)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
por: De Rosa, Mattia, et al.
Publicado: (2025)

The Complexity of Aggregates over Extractions by Regular Expressions
por: Doleschal, Johannes, et al.
Publicado: (2020)

A Completeness Theorem for Probabilistic Regular Expressions
por: Różowski, Wojciech, et al.
Publicado: (2023)

Linear Matching of JavaScript Regular Expressions
por: Barrière, Aurèle, et al.
Publicado: (2023)

Correct and Optimal: the Regular Expression Inference Challenge
por: Valizadeh, Mojtaba, et al.
Publicado: (2023)

On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
por: Ancona, Davide, et al.
Publicado: (2025)

On Synthesis of Timed Regular Expressions
por: Wang, Ziran, et al.
Publicado: (2025)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
por: Nakamura, Yoshiki
Publicado: (2026)

Directed Regular and Context-Free Languages
por: Ganardi, Moses, et al.
Publicado: (2024)

A Trichotomy for Regular Trail Queries
por: Martens, Wim, et al.
Publicado: (2019)

Query Learning of Advice and Nominal Automata
por: Zhou, Kevin
Publicado: (2024)

Finite-valued Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2024)

Composing Copyless Streaming String Transducers
por: Alur, Rajeev, et al.
Publicado: (2022)

Computational Model for Parsing Expression Grammars
por: Rubtsov, Alexander, et al.
Publicado: (2024)

Regular Expression Denial of Service Induced by Backreferences
por: Liu, Yichen, et al.
Publicado: (2026)

WEX: Formal Specifications for Windows in Stream Processing
por: Hitarth, S, et al.
Publicado: (2022)

Minimizing Streaming String Transducers: An algebraic approach
por: Benalioua, Yahia Idriss, et al.
Publicado: (2026)