Constructing Plan Trees for Simulated Penetration Testing Dorin Shmaryahu Information Systems Engineering Ben Gurion University Israel

First Page		Document Content
Date: 2016-06-09 08:09:41 Security engineering Mathematics Computing Dynamic programming Partially observable Markov decision process Stochastic control Theoretical computer science Heuristic Automated planning and scheduling Shortest path problem Mathematical optimization Computer security		Constructing Plan Trees for Simulated Penetration Testing Dorin Shmaryahu Information Systems Engineering Ben Gurion University Israel Add to Reading List Source URL: icaps16.icaps-conference.org Download Document from Source Website File Size: 171,09 KB Share Document on Facebook

	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xVYM - View Document
	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xUuJ - View Document
	2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications DocID: 1vrV2 - View Document
	EE363 WinterLecture 10 Linear Quadratic Stochastic Control with DocID: 1vrTL - View Document
	EE266 and MS&E251: Introduction About the course Optimization Dynamical systems Stochastic control DocID: 1vkoK - View Document