:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wehar, Michael
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	https://arxiv.org/abs/2512.00297
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
von: Principato, Flavio T., et al.
Veröffentlicht: (2025)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity
von: Mengel, Stefan, et al.
Veröffentlicht: (2024)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Syntax Repair as Language Intersection
von: Considine, Breandan
Veröffentlicht: (2025)

Probabilistic Finite Automaton Emptiness is undecidable
von: Rote, Günter
Veröffentlicht: (2024)

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

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)

Bounded treewidth, multiple context-free grammars, and downward closures
von: Aiswarya, C., et al.
Veröffentlicht: (2025)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
von: Leys, Tim, et al.
Veröffentlicht: (2024)

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

Time for Timed Monitorability
von: Grosen, Thomas M., et al.
Veröffentlicht: (2025)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Operational State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

On the Representation and State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

Descriptional Complexity of Finite Automata -- Selected Highlights
von: Salomaa, Arto, et al.
Veröffentlicht: (2023)

Separability and Non-Determinizability of WSTS
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2023)

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

Iterating Non-Aggregative Structure Compositions
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

Non-Global Parikh Tree Automata
von: Herrmann, Luisa, et al.
Veröffentlicht: (2024)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
von: Drabik, Karolina, et al.
Veröffentlicht: (2025)

Star Complexity of Parikh Images of Languages over Infinite Alphabets
von: Danieli, Yoav
Veröffentlicht: (2026)

On the Complexity of Computing the Co-lexicographic Width of a Regular Language
von: Becker, Ruben, et al.
Veröffentlicht: (2024)

Non-deterministic asynchronous automata games and their undecidability
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

You May Delay, but Time Will Not: Timed Games Under Delayed Control
von: Larsen, Kim G., et al.
Veröffentlicht: (2025)

Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
von: Silva, Jorge Miguel
Veröffentlicht: (2026)

Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton
von: Rote, Günter
Veröffentlicht: (2024)

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

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2025)

Parametric Timed Pattern Matching
von: Waga, Masaki, et al.
Veröffentlicht: (2019)

The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds
von: Bringmann, Karl, et al.
Veröffentlicht: (2023)

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

Corrections to A Menagerie of Timed Automata
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2016)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
von: Schalk, Patrizia, et al.
Veröffentlicht: (2025)

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

On Decidability Timed Automata with 2 Parametric Clocks
von: Bersani, Marcello M., et al.
Veröffentlicht: (2025)

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

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
von: Wißmann, Thorsten
Veröffentlicht: (2026)

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

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
von: Manini, Andrea, et al.
Veröffentlicht: (2025)