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)

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

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)