State space reduction techniques for model checking of MANET protocols.
Hideharu KojimaYuta NagashimaTatsuhiro TsuchiyaPublished in: Int. J. Netw. Comput. (2017)
Keyphrases
- model checking
- state space
- reachability analysis
- temporal logic
- finite state
- formal specification
- temporal properties
- automated verification
- formal verification
- symbolic model checking
- model checker
- finite state machines
- heuristic search
- markov decision processes
- mobile ad hoc networks
- timed automata
- computation tree logic
- optimal policy
- reinforcement learning
- markov chain
- process algebra
- verification method
- bounded model checking
- dynamical systems
- pspace complete
- state variables
- transition systems
- routing protocol
- linear temporal logic
- dynamic programming
- deterministic finite automaton
- search space
- concurrent systems
- formal methods
- planning problems
- planning domains
- ad hoc networks
- goal state
- epistemic logic