Automatic behavior composition synthesis

DOI10.1016/J.ARTINT.2012.12.001MaRDI QIDQ360044zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(14)

• Automatic synthesis of action programs for intelligent robots
• PuRSUE -- from specification of robotic environments to synthesis of controllers
• Domain-independent planning for services in uncertain and dynamic environments
• Mimicking behaviors in separated domains
• 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
• scientific article; zbMATH DE number 1956592 (Why is no real title available?)
• 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)