Parity Automata for Quantitative Linear Time Logics.
Corina CîrsteaShunsuke ShimizuIchiro HasuoPublished in: CALCO (2017)
Keyphrases
- error correction
- cellular automata
- expressive power
- qualitative and quantitative
- finite automata
- worst case
- modal logic
- regular expressions
- genetic algorithm
- probabilistic automata
- finite state
- case study
- quantitative and qualitative
- finite state machines
- computational complexity
- decision procedures
- tree automata
- turing machine
- proof theory
- real time
- lattice gas
- horn logic