Adversarial and uncertain reasoning for adaptive cyber defense : control- and game-theoretic approaches to cyber security /: control- and game-theoretic approaches to cyber security. ([2019])