Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.
Fengling ZhangLei BuLinzhang WangJianhua ZhaoXuandong LiPublished in: ICCPS (2012)
Keyphrases
- numerical analysis
- timed automata
- wireless sensor networks
- model checking
- state machines
- image enhancement
- reachability analysis
- theorem prover
- lightweight
- generative model
- theorem proving
- probabilistic model
- medium access control
- bayesian networks
- data aggregation
- cryptographic protocols
- first order logic
- energy efficient
- image processing
- secure routing
- real time
- natural language
- reinforcement learning
- knowledge base