Uniform Interpolation, Automata and the Modal μ-Calculus.
Giovanna D'AgostinoMarco HollenbergPublished in: Advances in Modal Logic (1996)
Keyphrases
- timed automata
- transition systems
- cellular automata
- modal logic
- finite state
- image interpolation
- finite automata
- tree automata
- probabilistic automata
- model checking
- linear interpolation
- tableau calculus
- low pass filtering
- finite state machines
- regular expressions
- finite state automata
- automated deduction
- computer algebra
- sequent calculus
- relational calculus
- neural network
- data sets