Probability Timed Automata for Investigating Communication Processes.
Henryk PiechGrzegorz GrodzkiPublished in: Int. J. Appl. Math. Comput. Sci. (2015)
Keyphrases
- timed automata
- model checking
- reachability analysis
- communication channels
- communication patterns
- theorem prover
- probability distribution
- communication systems
- first order logic
- communication networks
- knowledge creation
- stochastic processes
- real time systems
- communication protocol
- information exchange
- communication cost
- dynamic programming
- artificial intelligence
- data sets
- sharing information
- highest probability
- human computer
- instant messaging
- resource constrained
- information sharing
- low cost
- case study
- decision trees
- information retrieval