Now showing items 1-2 of 2
Once and For All
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 ...
Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments
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 ...