Formal Languages and Automata Theory
5 papers in this topic with citation growth data.
Papers
- 0 citations · Feb 2026A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
- 0 citations · Feb 2026Formal Evidence Generation for Assurance Cases for Robotic Software Models
- 0 citations · Feb 2026A vector logic for intensional formal semantics
- 0 citations · Feb 2026Reasoning about Reasoning: BAPO Bounds on Chain-of-Thought Token Complexity in LLMs
- 0 citations · Feb 2026Compiling Quantum Regular Language States