Analyzing the robustness of FTSP with timed automata.
Lin TanLei BuJianhua ZhaoLinzhang WangPublished in: Internetware (2010)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- real time systems
- first order logic
- computational efficiency
- wide range
- database
- multi agent systems
- natural language
- preprocessing
- artificial neural networks
- graphical models
- search algorithm
- data structure
- image sequences
- case study
- image processing
- decision making
- computer vision
- real time