The following pages link to Sebastian Sardiña (Q360043):
Displaying 21 items.
- Automatic behavior composition synthesis (Q360044) (← links)
- (Q596476) (redirect page) (← links)
- On the semantics of deliberation in IndiGolog -- from theory to implementation (Q596477) (← links)
- Agent planning programs (Q899440) (← links)
- HTN-like solutions for classical planning problems: an application to BDI agent systems (Q1727994) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Norm enforcement as supervisory control (Q2092507) (← links)
- Expecting the unexpected: goal recognition for rational and irrational agents (Q2238600) (← links)
- Reasoning about Agent Programs Using ATL-Like Logics (Q2915090) (← links)
- Qualitative Approximate Behavior Composition (Q2915091) (← links)
- Supervisory Control for Behavior Composition (Q2989619) (← links)
- Local Conditional High-Level Robot Programs (Q2996157) (← links)
- (Q4576248) (← links)
- Cost-Based Goal Recognition in Navigational Domains (Q4621490) (← links)
- Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis (Q4639031) (← links)
- Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
- Compositional Supervisory Control via Reactive Synthesis and Automated Planning (Q5125773) (← links)
- Incremental execution of guarded theories (Q5738916) (← links)
- (Q5740456) (← links)
- (Q5740458) (← links)
- Fast and accurate data-driven goal recognition using process mining techniques (Q6080644) (← links)