Spectral Gap in Timed Automata.
Eugene AsarinNicolas BassetAldric DegorrePublished in: FORMATS (2013)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- first order logic
- theorem proving
- introducing additional
- spectral images
- spatial frequency
- temporal logic
- spectral analysis
- multiresolution
- spectral data
- spectral features
- real time
- real time systems
- modal logic
- multispectral images
- image processing
- social networks
- database