Symbolic Planning and Control Using Game Theory and Grammatical Inference
Robotics
2012-10-08 v1 Computer Science and Game Theory
Abstract
This paper presents an approach that brings together game theory with grammatical inference and discrete abstractions in order to synthesize control strategies for hybrid dynamical systems performing tasks in partially unknown but rule-governed adversarial environments. The combined formulation guarantees that a system specification is met if (a) the true model of the environment is in the class of models inferable from a positive presentation, (b) a characteristic sample is observed, and (c) the task specification is satisfiable given the capabilities of the system (agent) and the environment.
Cite
@article{arxiv.1210.1630,
title = {Symbolic Planning and Control Using Game Theory and Grammatical Inference},
author = {Jie Fu and Herbert G. Tanner and Jeffrey Heinz and Jane Chandlee and Konstantinos Karydis and Cesar Koirala},
journal= {arXiv preprint arXiv:1210.1630},
year = {2012}
}