A game theory approach for RTL security verification resources allocation.
Haoyi WangYici CaiQiang ZhouPublished in: CCF Trans. High Perform. Comput. (2021)
Keyphrases
- game theory
- resource allocation
- game theoretic
- allocate resources
- high security
- nash equilibrium
- cooperative
- integrity verification
- access control
- mechanism design
- multi agent learning
- statistical physics
- cryptographic protocols
- multi agent systems
- combinatorial auctions
- model checking
- financial crisis
- boolean games
- cooperative game theory
- public goods
- fictitious play
- computational complexity
- evolutionary game theory
- multiagent learning
- human computation
- social welfare