Minimality Notions via Factorization Systems and Examples
Fuente:
arXiv
Guardado en:
| Autor principal: | Wißmann, Thorsten |
|---|---|
| Formato: | Preprint |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
por: Wißmann, Thorsten
Publicado: (2026)
por: Wißmann, Thorsten
Publicado: (2026)
Correctness Notions for Petri Nets with Identifiers
por: van der Werf, Jan Martijn E. M., et al.
Publicado: (2022)
por: van der Werf, Jan Martijn E. M., et al.
Publicado: (2022)
A Regular and Complete Notion of Delay for Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2022)
por: Filiot, Emmanuel, et al.
Publicado: (2022)
Algebraic Language Theory with Effects
por: Lenke, Fabian, et al.
Publicado: (2024)
por: Lenke, Fabian, et al.
Publicado: (2024)
Constructing Deterministic Parity Automata from Positive and Negative Examples
por: Bohn, León, et al.
Publicado: (2023)
por: Bohn, León, et al.
Publicado: (2023)
Hyper-Minimization for Deterministic Register Automata
por: Li, Yong, et al.
Publicado: (2026)
por: Li, Yong, et al.
Publicado: (2026)
Minimizing Streaming String Transducers: An algebraic approach
por: Benalioua, Yahia Idriss, et al.
Publicado: (2026)
por: Benalioua, Yahia Idriss, et al.
Publicado: (2026)
Minimizing Cost Register Automata over a Field
por: Benalioua, Yahia Idriss, et al.
Publicado: (2023)
por: Benalioua, Yahia Idriss, et al.
Publicado: (2023)
Optimal Approximate Minimization of One-Letter Weighted Finite Automata
por: Lacroce, Clara, et al.
Publicado: (2023)
por: Lacroce, Clara, et al.
Publicado: (2023)
A New Notion of Regularity: Finite State Automata Accepting Graphs
por: Meeres, Yvo Ad
Publicado: (2024)
por: Meeres, Yvo Ad
Publicado: (2024)
A Factorization Theorem for Forest Algebras
por: Almagor, Shaull, et al.
Publicado: (2026)
por: Almagor, Shaull, et al.
Publicado: (2026)
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
por: Jeppson, Joshua, et al.
Publicado: (2025)
por: Jeppson, Joshua, et al.
Publicado: (2025)
History-Constrained Systems
por: Kuijer, Louwe B., et al.
Publicado: (2026)
por: Kuijer, Louwe B., et al.
Publicado: (2026)
Reachability in Trace-Pushdown Systems
por: Köcher, Chris, et al.
Publicado: (2025)
por: Köcher, Chris, et al.
Publicado: (2025)
Responsibility in Actor-Based Systems
por: Baier, Christel, et al.
Publicado: (2024)
por: Baier, Christel, et al.
Publicado: (2024)
Forbidden-Context & Ordered Grammar Systems
por: Fernau, Henning, et al.
Publicado: (2026)
por: Fernau, Henning, et al.
Publicado: (2026)
Box-Reachability in Vector Addition Systems
por: Almagor, Shaull, et al.
Publicado: (2025)
por: Almagor, Shaull, et al.
Publicado: (2025)
Mining Diamonds in labeled Transition Systems
por: van Spaendonck, P. H. M., et al.
Publicado: (2025)
por: van Spaendonck, P. H. M., et al.
Publicado: (2025)
Weighted Automata and Regular Expressions for Financial Systems
por: Droste, Manfred, et al.
Publicado: (2026)
por: Droste, Manfred, et al.
Publicado: (2026)
Backward Responsibility in Transition Systems Beyond Safety
por: Baier, Christel, et al.
Publicado: (2025)
por: Baier, Christel, et al.
Publicado: (2025)
Compositional Abstraction for Timed Systems with Broadcast Synchronization
por: Chen, Hanyue, et al.
Publicado: (2025)
por: Chen, Hanyue, et al.
Publicado: (2025)
Componentwise Automata Learning for System Integration (Extended Version)
por: Fujinami, Hiroya, et al.
Publicado: (2025)
por: Fujinami, Hiroya, et al.
Publicado: (2025)
Languages of Boundedly-Ambiguous Vector Addition Systems with States
por: Czerwiński, Wojciech, et al.
Publicado: (2025)
por: Czerwiński, Wojciech, et al.
Publicado: (2025)
Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
por: Drewes, Frank, et al.
Publicado: (2025)
por: Drewes, Frank, et al.
Publicado: (2025)
Invariants and Home Spaces in Transition Systems and Petri Nets
por: Memmi, Gerard
Publicado: (2023)
por: Memmi, Gerard
Publicado: (2023)
Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
por: Bizière, Clotilde, et al.
Publicado: (2024)
por: Bizière, Clotilde, et al.
Publicado: (2024)
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
por: Eichler, Paul, et al.
Publicado: (2024)
por: Eichler, Paul, et al.
Publicado: (2024)
More on Maximally Permissive Similarity Control of Discrete Event Systems
por: Wang, Yu, et al.
Publicado: (2024)
por: Wang, Yu, et al.
Publicado: (2024)
Backward Responsibility in Transition Systems Using General Power Indices
por: Baier, Christel, et al.
Publicado: (2024)
por: Baier, Christel, et al.
Publicado: (2024)
Exact Separation of Words via Trace Geometry
por: Chen, Zeyu, et al.
Publicado: (2026)
por: Chen, Zeyu, et al.
Publicado: (2026)
Extended Stone Duality via Monoidal Adjunctions
por: Lenke, Fabian, et al.
Publicado: (2024)
por: Lenke, Fabian, et al.
Publicado: (2024)
Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
por: Shoudai, Takayoshi, et al.
Publicado: (2026)
por: Shoudai, Takayoshi, et al.
Publicado: (2026)
Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
por: Yu, Qixian, et al.
Publicado: (2025)
por: Yu, Qixian, et al.
Publicado: (2025)
Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
por: Esparza, Javier, et al.
Publicado: (2023)
por: Esparza, Javier, et al.
Publicado: (2023)
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
por: Han, Xiaoguang, et al.
Publicado: (2024)
por: Han, Xiaoguang, et al.
Publicado: (2024)
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
por: Akshay, S, et al.
Publicado: (2023)
por: Akshay, S, et al.
Publicado: (2023)
Characterizing normality via automata and random matrix products
por: Bienvenu, Laurent, et al.
Publicado: (2026)
por: Bienvenu, Laurent, et al.
Publicado: (2026)
Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
por: Li, Xiaoyan, et al.
Publicado: (2025)
por: Li, Xiaoyan, et al.
Publicado: (2025)
Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
por: Yang, Dong, et al.
Publicado: (2024)
por: Yang, Dong, et al.
Publicado: (2024)
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
por: Fränzle, Martin, et al.
Publicado: (2024)
por: Fränzle, Martin, et al.
Publicado: (2024)
Ejemplares similares
-
Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
por: Wißmann, Thorsten
Publicado: (2026) -
Correctness Notions for Petri Nets with Identifiers
por: van der Werf, Jan Martijn E. M., et al.
Publicado: (2022) -
A Regular and Complete Notion of Delay for Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2022) -
Algebraic Language Theory with Effects
por: Lenke, Fabian, et al.
Publicado: (2024) -
Constructing Deterministic Parity Automata from Positive and Negative Examples
por: Bohn, León, et al.
Publicado: (2023)