:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Yu, Zhu, Zhaohui, van Glabbeek, Rob, Zhang, Jinjin, Li, Yixuan
Formato:	Preprint
Publicado:	2026
Materias:	Formal Languages and Automata Theory
Acceso en línea:	https://arxiv.org/abs/2602.09360
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

More on Maximally Permissive Similarity Control of Discrete Event Systems
por: Wang, Yu, et al.
Publicado: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
por: Bellier, Dylan, et al.
Publicado: (2026)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
por: Han, Xiaoguang, et al.
Publicado: (2024)

Saturation Problems for Families of Automata
por: Bohn, León, et al.
Publicado: (2025)

Simulations for Event-Clock Automata
por: Akshay, S, et al.
Publicado: (2022)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
por: Li, Xiaoyan, et al.
Publicado: (2025)

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

Controller Synthesis for Parametric Timed Games
por: Dahlsen-Jensen, Mikael Bisgaard, et al.
Publicado: (2025)

Learning Event-recording Automata Passively
por: Majumdar, Anirban, et al.
Publicado: (2025)

Forgetting Event Order in Higher-Dimensional Automata
por: Zouari, Safa
Publicado: (2026)

AGDES: Automatic Generation of Dependent Event Sequences
por: Guzman, Alexander Obeid
Publicado: (2026)

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

Greybox Learning of Languages Recognizable by Event-Recording Automata
por: Majumdar, Anirban, et al.
Publicado: (2024)

The Expansion Problem for Infinite Trees
por: Blumensath, Achim
Publicado: (2023)

Approximate Problems for Finite Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2025)

On the Complexity of the Secret Protection Problem for Discrete-Event Systems
por: Masopust, Tomáš, et al.
Publicado: (2025)

On the Separability Problem of VASS Reachability Languages
por: Keskin, Eren, et al.
Publicado: (2024)

Equivalence and Similarity Refutation for Probabilistic Programs
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)

Resynchronized Uniformization and Definability Problems for Rational Relations
por: Löding, Christof, et al.
Publicado: (2021)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
por: Principato, Flavio T., 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)

Supervisory Control Theory with Event Forcing
por: Reniers, Michel, et al.
Publicado: (2024)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
por: Pshenitsyn, Tikhon
Publicado: (2025)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
por: Drabik, Karolina, et al.
Publicado: (2025)

Learning Deterministic Multi-Clock Timed Automata
por: Teng, Yu, et al.
Publicado: (2024)

Imposing Rules in Process Discovery: an Inductive Mining Approach
por: Norouzifar, Ali, et al.
Publicado: (2024)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
por: Ise, Daihei, et al.
Publicado: (2024)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
por: Larsen, Kim G., et al.
Publicado: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
por: Aristote, Quentin, et al.
Publicado: (2025)

Mining Diamonds in labeled Transition Systems
por: van Spaendonck, P. H. M., et al.
Publicado: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
por: Yang, Dong, et al.
Publicado: (2024)

Computational Complexity of Alignments
por: Schwanen, Christopher T., et al.
Publicado: (2026)

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

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
por: Liu, Yingying, et al.
Publicado: (2026)

Backward Responsibility in Transition Systems Using General Power Indices
por: Baier, Christel, et al.
Publicado: (2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
por: Dahlsen-Jensen, Mikael Bisgaard, et al.
Publicado: (2024)

Correctness Notions for Petri Nets with Identifiers
por: van der Werf, Jan Martijn E. M., et al.
Publicado: (2022)

Structural Abstraction and Refinement for Probabilistic Programs
por: Li, Guanyan, et al.
Publicado: (2025)

Engineering an LTLf Synthesis Tool
por: Duret-Lutz, Alexandre, et al.
Publicado: (2025)

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