Buchumschlag

Mining Diamonds in labeled Transition Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	van Spaendonck, P. H. M., Jilissen, K. H. J.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Semi-Automatic Extraction of Formal Models from Object Oriented Code
von: van Spaendonck, P. H. M.
Veröffentlicht: (2024)

Imposing Rules in Process Discovery: an Inductive Mining Approach
von: Norouzifar, Ali, et al.
Veröffentlicht: (2024)

Backward Responsibility in Transition Systems Using General Power Indices
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Diagnosability of labeled $\mathfrak{D_p}$ automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2021)

Backward Responsibility in Transition Systems Beyond Safety
von: Baier, Christel, et al.
Veröffentlicht: (2025)

Non-interference analysis of bounded labeled Petri nets
von: Ran, Ning, et al.
Veröffentlicht: (2025)

Invariants and Home Spaces in Transition Systems and Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2023)

A Diamond Structure in the Transducer Hierarchy
von: Kaufmann, Noah
Veröffentlicht: (2021)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
von: Zhang, Kuize, et al.
Veröffentlicht: (2024)

Computational Complexity of Alignments
von: Schwanen, Christopher T., et al.
Veröffentlicht: (2026)

More on Maximally Permissive Similarity Control of Discrete Event Systems
von: Wang, Yu, et al.
Veröffentlicht: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
von: Pert, Charles, et al.
Veröffentlicht: (2024)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
von: Zameni, Tannaz, et al.
Veröffentlicht: (2026)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
von: Fränzle, Martin, et al.
Veröffentlicht: (2024)

History-Constrained Systems
von: Kuijer, Louwe B., et al.
Veröffentlicht: (2026)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

Reachability in Trace-Pushdown Systems
von: Köcher, Chris, et al.
Veröffentlicht: (2025)

Responsibility in Actor-Based Systems
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Box-Reachability in Vector Addition Systems
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

Forbidden-Context & Ordered Grammar Systems
von: Fernau, Henning, et al.
Veröffentlicht: (2026)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
von: Chen, Hanyue, et al.
Veröffentlicht: (2025)

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

Minimality Notions via Factorization Systems and Examples
von: Wißmann, Thorsten
Veröffentlicht: (2022)

Learning Weighted Automata over Number Rings, Concretely and Categorically
von: Aristote, Quentin, et al.
Veröffentlicht: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
von: Drewes, Frank, et al.
Veröffentlicht: (2025)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
von: Bizière, Clotilde, et al.
Veröffentlicht: (2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
von: Eichler, Paul, et al.
Veröffentlicht: (2024)

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

The Similarity Control Problem with Required Events
von: Wang, Yu, et al.
Veröffentlicht: (2026)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
von: Yu, Qixian, et al.
Veröffentlicht: (2025)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
von: Shoudai, Takayoshi, et al.
Veröffentlicht: (2026)

Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2023)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
von: Han, Xiaoguang, et al.
Veröffentlicht: (2024)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
von: Akshay, S, et al.
Veröffentlicht: (2023)

Controller Synthesis for Parametric Timed Games
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2025)

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

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

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
von: Yang, Dong, et al.
Veröffentlicht: (2024)