On some Relations between Dynamical Systems and Transition Systems.
Eugene AsarinOded MalerPublished in: ICALP (1994)
Keyphrases
- dynamical systems
- transition systems
- model checking
- temporal logic
- concurrent systems
- dynamic systems
- finite state
- nonlinear dynamical systems
- state space
- practical reasoning
- control flow
- partially observable
- fully observable
- hidden state
- reactive systems
- predictive state representations
- partially observable markov decision processes
- formal specification
- model checker
- description language
- data flow