Now showing items 1-3 of 3

    • An incremental constraint-based framework for task and motion planning 

      Dantam, Neil T.; Kingston, Zachary K.; Chaudhuri, Swarat; Kavraki, Lydia E. (2018)
      We present a new constraint-based framework for task and motion planning (TMP). Our approach is extensible, probabilistically complete, and offers improved performance and generality compared with a similar, state-of-the-art ...
    • Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives 

      Wang, Yue; Chaudhuri, Swarat; Kavraki, Lydia E. (2019)
      Effectively planning robust executions under uncertainty is critical for building autonomous robots. Partially observable Markov decision processes (POMDPs) provide a standard framework for modeling many robot applications ...
    • Regular Real Analysis 

      Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. (2013)
      We initiate the study of regular real analysis, or the analysis of real functions that can be encoded by automata on infinite words. It is known that ω-automata can be used to represent {relations} between real ...