Imagen de Portada

Spatio-Temporal view on the Topological Functioning Model

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Spichkova, Maria
Formato:	Preprint
Publicado:	2025
Materias:	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

FocusE: A semantic extension of FocusST
por: Spichkova, Maria
Publicado: (2025)

Temporal Causal Models as a Model of Computation
por: Gladyshev, Maksim, et al.
Publicado: (2026)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
por: Hausmann, Daniel, et al.
Publicado: (2024)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
por: Akshay, S., et al.
Publicado: (2025)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
por: Fang, Yue, et al.
Publicado: (2025)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
por: Latif, Saba, et al.
Publicado: (2025)

Attributed Tree Transducers for Partial Functions
por: Maneth, Sebastian, et al.
Publicado: (2024)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
por: Schwartz, Daniel G.
Publicado: (2025)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
por: De Maria, Elisabetta, et al.
Publicado: (2026)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
por: Yu, Qixian, et al.
Publicado: (2025)

Polyregular Model Checking
por: Lopez, Aliaume, et al.
Publicado: (2025)

Conservative Perception Models for Probabilistic Verification
por: Cleaveland, Matthew, et al.
Publicado: (2025)

Learning EFSM Models with Registers in Guards
por: Vega, Germán, et al.
Publicado: (2024)

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

Regular Languages in the Sliding Window Model
por: Ganardi, Moses, et al.
Publicado: (2024)

Unambiguisability and Register Minimisation of Min-Plus Models
por: Almagor, Shaull, et al.
Publicado: (2025)

The rIC3 Hardware Model Checker
por: Su, Yuheng, et al.
Publicado: (2025)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
por: Principato, Flavio T., et al.
Publicado: (2025)

Passive Model Learning of Visibly Deterministic Context-free Grammars
por: Muškardin, Edi, et al.
Publicado: (2025)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
por: Leys, Tim, et al.
Publicado: (2024)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
por: Manini, Andrea, et al.
Publicado: (2025)

Active Inference of Extended Finite State Machine Models with Registers and Guards
por: Groz, Roland, et al.
Publicado: (2026)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
por: Akshay, S, et al.
Publicado: (2023)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
por: Briones, Laura Brandán, et al.
Publicado: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
por: Akshay, S., et al.
Publicado: (2024)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
por: Schalk, Patrizia, et al.
Publicado: (2025)

Temporally Non-Uniform Cellular Automata: Surjectivity, Reversibility and Cyclic Behavior
por: Paul, Subrata, et al.
Publicado: (2024)

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

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

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

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

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)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
por: Roop, Partha, et al.
Publicado: (2026)

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

Elementary Cellular Automata as Non-Cryptographic Hash Functions
por: McKinley, Daniel
Publicado: (2025)

A General Information Extraction Framework Based on Formal Languages
por: Schmid, Markus L.
Publicado: (2025)

Statistical process discovery
por: Cry, Pierre, et al.
Publicado: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
por: Jeppson, Joshua, et al.
Publicado: (2025)

Hyper pattern matching
por: Waga, Masaki, et al.
Publicado: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
por: Kutrib, Martin, et al.
Publicado: (2025)