Abstraction, Reformulation, and Approximation Book

	Model Checking and Abstraction	1
	Reformulation in Planning	18
	Spatiotemporal Abstraction of Stochastic Sequential Processes	33
	State Spate Relaxation and Search Strategies in Dynamic Programming	51
	Admissible Moves in Two-Player Games	52
	Dynamic Bundling: Less Effort for More Solutions	64
	Symbolic Heuristic Search Using Decision Diagrams	83
	On the Construction of Human-Automation Interfaces by Formal Abstraction	99
	Pareto Optimization of Temporal Decisions	116
	An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection	126
	A Tractable Query Cache by Approximation	140
	An Algebraic Framework for Abstract Model Checking	152
	Action Timing Discretization with Iterative-Refinement	170
	Formalizing Approximate Objects and Theories: Some Initial Results	178
	Model Minimization in Hierarchical Reinforcement Learning	196
	Learning Options in Reinforcement Learning	212
	Approximation Techniques for Non-linear Problems with Continuum of Solutions	224
	Approximation of Relations by Propositional Formulas: Complexity and Semantics	242
	Abstracting Visual Percepts to Learn Concepts	256
	PAC Meditation on Boolean Formulas	274
	On the Reformulation of Vehicle Routing Problems and Scheduling Problems	282
	The Oracular Constraints Method	290
	Performance of Lookahead Control Policies in the Face of Abstractions and Approximations	299
	TTree: Tree-Based State Generalization with Temporally Abstract Actions	308
	Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction	316
	Abstracting Imperfect Information Game Trees	324
	Using Abstraction for Heuristic Search and Planning	326
	Approximation Techniques in Multiagent Learning	328
	Abstraction and Reformulation in GraphPlan	330
	Abstract Reasoning for Planning and Coordination	331
	Abstraction Techniques, and Their Value	333
	Reformulation of Non-binary Constraints	335
	Reformulating Combinatorial Optimization as Constraint Satisfaction	336
	Autonomous Discovery of Abstractions through Interaction with an Environment	338
	Interface Verification: Discrete Abstractions of Hybrid Systems	340
	Learning Semi-lattice Codebooks for Image Compression	342
	Research Summary	344
	Principled Exploitation of Heuristic Information	345
	Reformulation of Temporal Constraint Networks	347
	Author Index	349