A Multi-Objective Model Checking for Transmission Policy Optimization in Hybrid Powered Small Cell Networks.
Chih-Min YuMohammad Tala'tLi-Hsiang ShenKai-Ten FengPublished in: IEEE Access (2020)
Keyphrases
- model checking
- multi objective
- temporal logic
- model checker
- automated verification
- temporal properties
- finite state
- formal verification
- symbolic model checking
- formal specification
- evolutionary algorithm
- partial order reduction
- formal methods
- pspace complete
- transition systems
- optimization problems
- computation tree logic
- epistemic logic
- reachability analysis
- finite state machines
- timed automata
- process algebra
- genetic algorithm
- bounded model checking
- verification method
- optimal policy
- reactive systems
- modal logic
- asynchronous circuits
- objective function
- binary decision diagrams