Saved in:
| Main Authors: | Wang, Yu, Zhu, Zhaohui, van Glabbeek, Rob, Zhang, Jinjin, Li, Yixuan |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.09360 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
More on Maximally Permissive Similarity Control of Discrete Event Systems
by: Wang, Yu, et al.
Published: (2024)
by: Wang, Yu, et al.
Published: (2024)
Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
by: Bellier, Dylan, et al.
Published: (2026)
by: Bellier, Dylan, et al.
Published: (2026)
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
by: Han, Xiaoguang, et al.
Published: (2024)
by: Han, Xiaoguang, et al.
Published: (2024)
Saturation Problems for Families of Automata
by: Bohn, León, et al.
Published: (2025)
by: Bohn, León, et al.
Published: (2025)
Simulations for Event-Clock Automata
by: Akshay, S, et al.
Published: (2022)
by: Akshay, S, et al.
Published: (2022)
Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
by: Li, Xiaoyan, et al.
Published: (2025)
by: Li, Xiaoyan, et al.
Published: (2025)
The Trembling-Hand Problem for LTLf Planning
by: Yu, Pian, et al.
Published: (2024)
by: Yu, Pian, et al.
Published: (2024)
Controller Synthesis for Parametric Timed Games
by: Dahlsen-Jensen, Mikael Bisgaard, et al.
Published: (2025)
by: Dahlsen-Jensen, Mikael Bisgaard, et al.
Published: (2025)
Learning Event-recording Automata Passively
by: Majumdar, Anirban, et al.
Published: (2025)
by: Majumdar, Anirban, et al.
Published: (2025)
Forgetting Event Order in Higher-Dimensional Automata
by: Zouari, Safa
Published: (2026)
by: Zouari, Safa
Published: (2026)
AGDES: Automatic Generation of Dependent Event Sequences
by: Guzman, Alexander Obeid
Published: (2026)
by: Guzman, Alexander Obeid
Published: (2026)
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
by: Jeppson, Joshua, et al.
Published: (2025)
by: Jeppson, Joshua, et al.
Published: (2025)
Greybox Learning of Languages Recognizable by Event-Recording Automata
by: Majumdar, Anirban, et al.
Published: (2024)
by: Majumdar, Anirban, et al.
Published: (2024)
The Expansion Problem for Infinite Trees
by: Blumensath, Achim
Published: (2023)
by: Blumensath, Achim
Published: (2023)
Approximate Problems for Finite Transducers
by: Filiot, Emmanuel, et al.
Published: (2025)
by: Filiot, Emmanuel, et al.
Published: (2025)
On the Complexity of the Secret Protection Problem for Discrete-Event Systems
by: Masopust, Tomáš, et al.
Published: (2025)
by: Masopust, Tomáš, et al.
Published: (2025)
On the Separability Problem of VASS Reachability Languages
by: Keskin, Eren, et al.
Published: (2024)
by: Keskin, Eren, et al.
Published: (2024)
Equivalence and Similarity Refutation for Probabilistic Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)
by: Chatterjee, Krishnendu, et al.
Published: (2024)
Resynchronized Uniformization and Definability Problems for Rational Relations
by: Löding, Christof, et al.
Published: (2021)
by: Löding, Christof, et al.
Published: (2021)
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
by: Principato, Flavio T., et al.
Published: (2025)
by: Principato, Flavio T., et al.
Published: (2025)
Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
by: Latif, Saba, et al.
Published: (2025)
by: Latif, Saba, et al.
Published: (2025)
Supervisory Control Theory with Event Forcing
by: Reniers, Michel, et al.
Published: (2024)
by: Reniers, Michel, et al.
Published: (2024)
Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
by: Pshenitsyn, Tikhon
Published: (2025)
by: Pshenitsyn, Tikhon
Published: (2025)
Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
by: Drabik, Karolina, et al.
Published: (2025)
by: Drabik, Karolina, et al.
Published: (2025)
Learning Deterministic Multi-Clock Timed Automata
by: Teng, Yu, et al.
Published: (2024)
by: Teng, Yu, et al.
Published: (2024)
Imposing Rules in Process Discovery: an Inductive Mining Approach
by: Norouzifar, Ali, et al.
Published: (2024)
by: Norouzifar, Ali, et al.
Published: (2024)
Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
by: Ise, Daihei, et al.
Published: (2024)
by: Ise, Daihei, et al.
Published: (2024)
You May Delay, but Time Will Not: Timed Games Under Delayed Control
by: Larsen, Kim G., et al.
Published: (2025)
by: Larsen, Kim G., et al.
Published: (2025)
Learning Weighted Automata over Number Rings, Concretely and Categorically
by: Aristote, Quentin, et al.
Published: (2025)
by: Aristote, Quentin, et al.
Published: (2025)
Mining Diamonds in labeled Transition Systems
by: van Spaendonck, P. H. M., et al.
Published: (2025)
by: van Spaendonck, P. H. M., et al.
Published: (2025)
Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
by: Yang, Dong, et al.
Published: (2024)
by: Yang, Dong, et al.
Published: (2024)
Computational Complexity of Alignments
by: Schwanen, Christopher T., et al.
Published: (2026)
by: Schwanen, Christopher T., et al.
Published: (2026)
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
by: Briones, Laura Brandán, et al.
Published: (2025)
by: Briones, Laura Brandán, et al.
Published: (2025)
Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
by: Liu, Yingying, et al.
Published: (2026)
by: Liu, Yingying, et al.
Published: (2026)
Backward Responsibility in Transition Systems Using General Power Indices
by: Baier, Christel, et al.
Published: (2024)
by: Baier, Christel, et al.
Published: (2024)
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
by: Dahlsen-Jensen, Mikael Bisgaard, et al.
Published: (2024)
by: Dahlsen-Jensen, Mikael Bisgaard, et al.
Published: (2024)
Correctness Notions for Petri Nets with Identifiers
by: van der Werf, Jan Martijn E. M., et al.
Published: (2022)
by: van der Werf, Jan Martijn E. M., et al.
Published: (2022)
Structural Abstraction and Refinement for Probabilistic Programs
by: Li, Guanyan, et al.
Published: (2025)
by: Li, Guanyan, et al.
Published: (2025)
Engineering an LTLf Synthesis Tool
by: Duret-Lutz, Alexandre, et al.
Published: (2025)
by: Duret-Lutz, Alexandre, et al.
Published: (2025)
Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
by: Yu, Qixian, et al.
Published: (2025)
by: Yu, Qixian, et al.
Published: (2025)
Similar Items
-
More on Maximally Permissive Similarity Control of Discrete Event Systems
by: Wang, Yu, et al.
Published: (2024) -
Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
by: Bellier, Dylan, et al.
Published: (2026) -
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
by: Han, Xiaoguang, et al.
Published: (2024) -
Saturation Problems for Families of Automata
by: Bohn, León, et al.
Published: (2025) -
Simulations for Event-Clock Automata
by: Akshay, S, et al.
Published: (2022)