A Dual-Layer Network Deep Reinforcement Learning Algorithm for Multi-objective Signal Temporal Logic Tasks.
Yixiao YangTiange YangYuanyuan ZouShaoyuan LiYaru YangPublished in: Circuits Syst. Signal Process. (2024)
Keyphrases
- temporal logic
- multi objective
- model checking
- modal logic
- evolutionary algorithm
- satisfiability problem
- computation tree logic
- concurrent systems
- linear temporal logic
- multi objective optimization
- network structure
- verification method
- single layer
- abstraction layer
- temporal knowledge
- objective function
- model checker
- genetic algorithm
- mazurkiewicz traces
- temporal properties
- reactive systems
- communication networks
- social networks