Publication | Closed Access

Systolic trellis automata: Stability, decidability and complexity

Logical AutomatonEngineeringAutomated ReasoningFormal MethodsSystolic Trellis AutomataPushdown AutomatonComputational ComplexityAutomaton OperationComputer ScienceFormal Verification