Automatic behavior composition synthesis

DOI10.1016/J.ARTINT.2012.12.001zbMATH Open1270.68329OpenAlexW2101113119MaRDI QIDQ360044FDOQ360044

Authors: Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña 

Publication date: 23 August 2013

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0004370212001658

Recommendations

• Qualitative approximate behavior composition
• The modal transition system control problem
• Constraint-based controller synthesis in non-deterministic and partially observable domains
• Compositional synthesis with parametric reactive controllers
• Compositional controller synthesis for stochastic games

Mathematics Subject Classification ID

Knowledge representation (68T30) Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42)

Cited In (14)

• Automatic synthesis of action programs for intelligent robots
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• Mimicking behaviors in separated domains
• Domain-independent planning for services in uncertain and dynamic environments
• Behavior control as a function of consciousness. II: Synthesis of a behavior plan
• Agent planning programs
• Inputs, Outputs, and Composition in the Logic of Information Flows
• Composition of stochastic services for LTL\(_f\) goal specifications
• Parametrized automata simulation and application to service composition
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• Title not available (Why is that?)
• Synthesis of compact strategies for coordination programs
• Qualitative approximate behavior composition
• Refining strategic ability in alternating-time temporal logic

This page was built for publication: Automatic behavior composition synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360044)