Vaishak Belle

Journal paper on synthesis of recursive plans

Our work on synthesizing plans with loops in the presence of noise will appear in the international journal of approximate reasoning. It investigates how the AND-OR controller search of Hu & De Giacomo can be extended for strong goal satisfaction and termination conditions when tackling stochastic nondeterminism.