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
Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress)	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

This page was built for person: Sylvie Thiébaux