Image de couverture de livre

History-Constrained Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kuijer, Louwe B., Purser, David, Sinclair-Banks, Henry, Totzke, Patrick
Format:	Preprint
Publié:	2026
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Resolving Nondeterminism by Chance
par: Paul, Soumyajit, et autres
Publié: (2025)

Reachability in VASS Extended with Integer Counters
par: Bizière, Clotilde, et autres
Publié: (2026)

History-deterministic Timed Automata
par: Bose, Sougata, et autres
Publié: (2023)

Parity Games on Temporal Graphs
par: Austin, Pete, et autres
Publié: (2023)

Invariants for One-Counter Automata with Disequality Tests
par: Chistikov, Dmitry, et autres
Publié: (2024)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
par: Chistikov, Dmitry, et autres
Publié: (2024)

Exploring VASS Parameterised by Geometric Dimension
par: Czerwiński, Wojciech, et autres
Publié: (2026)

The Power of Counting Steps in Quantitative Games
par: Bose, Sougata, et autres
Publié: (2024)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
par: Shakiba, Yousef, et autres
Publié: (2025)

Optimal Sequential Flows
par: Gimbert, Hugo, et autres
Publié: (2025)

History-deterministic Parikh Automata
par: Erlich, Enzo, et autres
Publié: (2022)

History-Deterministic Büchi Automata are Succinct
par: Casares, Antonio, et autres
Publié: (2026)

Token Games and History-Deterministic Quantitative-Automata
par: Boker, Udi, et autres
Publié: (2021)

Checking History-Determinism is NP-hard for Parity Automata
par: Prakash, Keya
Publié: (2023)

Constrained Multi-Tildes: Derived Term and Position Automata
par: Attou, Samira, et autres
Publié: (2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
par: Acharya, Rohan, et autres
Publié: (2024)

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
par: Casares, Antonio, et autres
Publié: (2024)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
par: Lehtinen, Karoliina, et autres
Publié: (2025)

A Formal Approach for Tuning Stochastic Oscillators
par: Ballarini, Paolo, et autres
Publié: (2024)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
par: Akshay, S, et autres
Publié: (2023)

Reachability in Trace-Pushdown Systems
par: Köcher, Chris, et autres
Publié: (2025)

Responsibility in Actor-Based Systems
par: Baier, Christel, et autres
Publié: (2024)

Forbidden-Context & Ordered Grammar Systems
par: Fernau, Henning, et autres
Publié: (2026)

Box-Reachability in Vector Addition Systems
par: Almagor, Shaull, et autres
Publié: (2025)

Mining Diamonds in labeled Transition Systems
par: van Spaendonck, P. H. M., et autres
Publié: (2025)

Weighted Automata and Regular Expressions for Financial Systems
par: Droste, Manfred, et autres
Publié: (2026)

Minimality Notions via Factorization Systems and Examples
par: Wißmann, Thorsten
Publié: (2022)

Backward Responsibility in Transition Systems Beyond Safety
par: Baier, Christel, et autres
Publié: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
par: Chen, Hanyue, et autres
Publié: (2025)

Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
par: Yin, Yihao, et autres
Publié: (2026)

Componentwise Automata Learning for System Integration (Extended Version)
par: Fujinami, Hiroya, et autres
Publié: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
par: Czerwiński, Wojciech, et autres
Publié: (2025)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
par: Drewes, Frank, et autres
Publié: (2025)

Invariants and Home Spaces in Transition Systems and Petri Nets
par: Memmi, Gerard
Publié: (2023)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
par: Bizière, Clotilde, et autres
Publié: (2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
par: Eichler, Paul, et autres
Publié: (2024)

More on Maximally Permissive Similarity Control of Discrete Event Systems
par: Wang, Yu, et autres
Publié: (2024)

Backward Responsibility in Transition Systems Using General Power Indices
par: Baier, Christel, et autres
Publié: (2024)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
par: Daviaud, Laure, et autres
Publié: (2023)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
par: Jecker, Ismaël, et autres
Publié: (2023)