Copertina

Castor Ministerialis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Hercher, Christian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A General Information Extraction Framework Based on Formal Languages
di: Schmid, Markus L.
Pubblicazione: (2025)

Statistical process discovery
di: Cry, Pierre, et al.
Pubblicazione: (2025)

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

Hyper pattern matching
di: Waga, Masaki, et al.
Pubblicazione: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
di: Kutrib, Martin, et al.
Pubblicazione: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)

Universality Frontier for Asynchronous Cellular Automata
di: Baburin, Ivan, et al.
Pubblicazione: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
di: Kim, Moon, et al.
Pubblicazione: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
di: Memmi, Gerard
Pubblicazione: (2025)

Unambiguisability and Register Minimisation of Min-Plus Models
di: Almagor, Shaull, et al.
Pubblicazione: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
di: Slimi, Jaouhar, et al.
Pubblicazione: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
di: Finkel, Alain, et al.
Pubblicazione: (2025)

Structural Abstraction and Refinement for Probabilistic Programs
di: Li, Guanyan, et al.
Pubblicazione: (2025)

Universally Wheeler Languages
di: Becker, Ruben, et al.
Pubblicazione: (2025)

FocusE: A semantic extension of FocusST
di: Spichkova, Maria
Pubblicazione: (2025)

Polyregular Model Checking
di: Lopez, Aliaume, et al.
Pubblicazione: (2025)

Reversible Pebble Transducers
di: Dartois, Luc, et al.
Pubblicazione: (2025)

On the Complexity of Language Membership for Probabilistic Words
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)

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

Higher-Dimensional Automata : Extension to Infinite Tracks
di: Passemard, Luc, et al.
Pubblicazione: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
di: Bozga, Marius, et al.
Pubblicazione: (2025)

Learning Event-recording Automata Passively
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)

Two-way affine automata can verify every language
di: Chen, Zeyu, et al.
Pubblicazione: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
di: Akshay, S., et al.
Pubblicazione: (2025)

Resolving Nondeterminism by Chance
di: Paul, Soumyajit, et al.
Pubblicazione: (2025)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
di: Yu, Qixian, et al.
Pubblicazione: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
di: Fülöp, Zoltán, et al.
Pubblicazione: (2025)

Stochastic Languages at Sub-stochastic Cost
di: Agarwal, Smayan, et al.
Pubblicazione: (2025)

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

Unambiguous Acceptance of Thin Coalgebras
di: Chernev, Anton, et al.
Pubblicazione: (2025)

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
di: Wehar, Michael
Pubblicazione: (2025)

Positive Characteristic Sets for Relational Pattern Languages
di: Mousawi, S. Mahmoud, et al.
Pubblicazione: (2025)

Soundness of reset workflow nets
di: Blondin, Michael, et al.
Pubblicazione: (2025)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
di: Manini, Andrea, et al.
Pubblicazione: (2025)

Cerny type automata and rank conjecture
di: Rystsov, Igor
Pubblicazione: (2025)

Approximate Problems for Finite Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)

The rIC3 Hardware Model Checker
di: Su, Yuheng, et al.
Pubblicazione: (2025)