Sylvie Thiébaux

Available identifiers

zbMath Open thiebaux.sylvieMaRDI QIDQ403020

List of research outcomes

Publication	Date of Publication	Type
Subgoaling Techniques for Satisficing and Optimal Numeric Planning	2020-09-14	Paper
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning	2018-08-14	Paper
Interval-Based Relaxation for General Numeric Planning.	2018-07-12	Paper
Tableaux for policy synthesis for MDPs with PCTL* constraints	2018-02-02	Paper
Recent advances in unfolding technique	2014-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2852031	2013-10-07	Paper
A Decentralised Symbolic Diagnosis Approach	2011-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3624023	2009-04-28	Paper
Directed Unfolding of Petri Nets	2009-02-03	Paper
In defense of PDDL axioms	2007-10-23	Paper
Blocks World revisited	2001-08-20	Paper
Turning an Action Formalism Into a Planner—a Case Study	1995-06-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sylvie Thiébaux