Now showing items 1-2 of 2

    • Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments 

      Maly, Matthew R.; Lahijanian, Morteza; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y. (2013)
      This paper considers the problem of motion planning for a hybrid robotic system with complex and nonlinear dynamics in a partially unknown environment given a temporal logic specification. We employ a multi-layered synergistic ...
    • Once and For All 

      Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y. (2012)
      It has long been known that past-time operators add no expressive power to linear temporal logics. In this paper, we consider the extension of branching temporal logics with past-time operators. Two possible views regarding ...