Is runtime verification applicable to cheat detection?
Margaret DeLapBjörn KnutssonHonghui LuOleg SokolskyUsa SammapunInsup LeeChristos TsarouchisPublished in: NETGAMES (2004)
Keyphrases
- model checking
- detection method
- false positives
- detection algorithm
- automatic detection
- functional verification
- object detection
- bayesian networks
- genetic algorithm
- real world
- data sets
- data structure
- database systems
- artificial intelligence
- learning algorithm
- change detection
- false alarms
- detection scheme
- signature verification
- real time