@conference {
	title = {Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic},
	author = {Zhenyu Lin},
	year = {2019},
	month = {04/2019},
	address = {Miami Beach, Florida},
	booktitle = {2019 Annual IEEE International Systems Conference (SysCon)}
}
