You are here

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

Type: 
Conference PaperInvited and refereed articles in conference proceedings
Authored by:
Zhenyu Lin
Conference date:
April 8-11, 2019
Conference:
2019 Annual IEEE International Systems Conference (SysCon)