Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints
['Chanyeol Yoo', 'Robert Fitch', 'Salah Sukkarieh']
Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints