Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic

Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic

Title : Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic
Authors :
Zhenyu Lin
Baras, John, S.
Conference : 2019 Annual IEEE International Systems Conference (SysCon)
Date: April 08 - April 11, 2019