Generalized discrete timed automata: decidable approximations for safety verificatio.
Zhe DangOscar H. IbarraRichard A. KemmererPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- timed automata
- first order logic
- model checking
- reachability analysis
- theorem prover
- theorem proving
- difference equations
- transitive closure
- discrete geometry
- continuous domains
- discrete space
- real time systems
- discrete version
- safety critical
- finite dimensional
- neural network
- temporal logic
- closed form
- expressive power
- software development