Weighted automata and logics meet computational complexity.
Peter KostolányiPublished in: Inf. Comput. (2024)
Keyphrases
- computational complexity
- special case
- np complete
- expressive power
- modal logic
- low complexity
- computational efficiency
- high computational complexity
- storage requirements
- rate distortion
- finite state machines
- computational cost
- probabilistic automata
- neural network
- cellular automata
- image quality
- weighted sum
- motion estimation
- finite automata
- turing machine