Pages that link to "Item:Q360044"
From MaRDI portal
The following pages link to Automatic behavior composition synthesis (Q360044):
Displaying 11 items.
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- Parametrized automata simulation and application to service composition (Q485834) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Agent planning programs (Q899440) (← links)
- Behavior control as a function of consciousness. II: Synthesis of a behavior plan (Q1742418) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Automatic synthesis of action programs for intelligent robots (Q2216712) (← links)
- Inputs, Outputs, and Composition in the Logic of Information Flows (Q6082230) (← links)
- Mimicking behaviors in separated domains (Q6488799) (← links)
- Composition of stochastic services for LTL\(_f\) goal specifications (Q6630205) (← links)