Automatic behavior composition synthesis
TLDR
A variant of the formal notion of simulation is exploited to formally capture the notion of ''mimicking'', and it is shown that the technique proposed is sound and complete, optimal with respect to computational complexity, and robust for different kind of system failures.About:
This article is published in Artificial Intelligence.The article was published on 2013-03-01 and is currently open access. It has received 68 citations till now. The article focuses on the topics: Model checking.read more
Citations
More filters
Automated Planning: Theory and Practice.
TL;DR: A translation apparatus is provided which comprises an inputting section for inputting a source document in a natural language and a layout analyzing section for analyzing layout information.
Book
Automated Planning and Acting
TL;DR: This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques, and explains the computational deliberation capabilities that allow an actor to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective.
Journal ArticleDOI
Domain-independent planning for services in uncertain and dynamic environments
TL;DR: The RuGPlanner is presented, which models the planning task as a Constraint Satisfaction Problem and is endowed with a number of special features, including a knowledge-level representation to model uncertainty about the initial state and the outcome of sensing actions, and efficient handling of numeric-valued variables, inputs to actions or observational effects.
Journal ArticleDOI
Synthesis of hierarchical systems
TL;DR: An algorithm for the synthesis of a hierarchical system from a library of hierarchical components that follows the ''bottom-up'' approach to system design is described, which is not harder than the classical synthesis problem (of synthesizing flat systems ''from scratch''), even though the synthesized hierarchical system may be exponentially smaller than a flat one.
Journal ArticleDOI
Agent planning programs
TL;DR: This paper defines the problem of automatically synthesizing the required plans to execute an agent planning program, proposes a solution technique based on model checking of two-player game structures, and uses it to characterize the worst-case computational complexity of the problem as EXPTIME-complete.
References
More filters
Model checking
TL;DR: Model checking tools, created by both academic and industrial teams, have resulted in an entirely novel approach to verification and test case generation that often enables engineers in the electronics industry to design complex systems with considerable assurance regarding the correctness of their initial designs.
Book
Reasoning About Knowledge
TL;DR: Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Journal ArticleDOI
Supervisory control of a class of discrete event processes
Peter J. Ramadge,W. M. Wonham +1 more
TL;DR: In this paper, the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly non-deterministic, is studied. And the existence problem for a supervisor is reduced to finding the largest controllable language contained in a given legal language, where the control process is described as the generator of a formal language, while the supervisor is constructed from the grammar of a specified target language that incorporates the desired closed-loop system behavior.
Book
Symbolic Model Checking
TL;DR: Using symbolic model checking techniques it is possible to verify industrial-size finite state systems and models with more than 10120 states have been verified using special techniques.