The following pages link to Sylvie Thiébaux (Q403020):
Displayed 13 items.
- (Q197047) (redirect page) (← links)
- Recent advances in unfolding technique (Q403021) (← links)
- Tableaux for policy synthesis for MDPs with PCTL* constraints (Q1694463) (← links)
- In defense of PDDL axioms (Q2457650) (← links)
- (Q2852031) (← links)
- A Decentralised Symbolic Diagnosis Approach (Q2999114) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- (Q3624023) (← links)
- Turning an Action Formalism Into a Planner—a Case Study (Q4316296) (← links)
- Interval-Based Relaxation for General Numeric Planning. (Q4576198) (← links)
- Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning (Q4580269) (← links)
- Subgoaling Techniques for Satisficing and Optimal Numeric Planning (Q5121406) (← links)
- Blocks World revisited (Q5940781) (← links)