Sylvie Thiébaux

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Subgoaling techniques for satisficing and optimal numeric planning Journal of Artificial Intelligence Research	2020-09-14	Paper
Extending classical planning with state constraints: heuristics and search for optimal planning Journal of Artificial Intelligence Research	2018-08-14	Paper
Interval-based relaxation for general numeric planning	2018-07-12	Paper
Tableaux for policy synthesis for MDPs with PCTL* constraints (available as arXiv preprint)	2018-02-02	Paper
Recent advances in unfolding technique Theoretical Computer Science	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
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4 (available as arXiv preprint)	2009-04-28	Paper
Directed Unfolding of Petri Nets Transactions on Petri Nets and Other Models of Concurrency I	2009-02-03	Paper
In defense of PDDL axioms Artificial Intelligence	2007-10-23	Paper
Blocks World revisited Artificial Intelligence	2001-08-20	Paper
Turning an Action Formalism Into a Planner—a Case Study Journal Of Logic And Computation	1995-06-30	Paper

Research outcomes over time

This page was built for person: Sylvie Thiébaux