@inproceedings{WAH21,
  	author		=	{Waga, Masaki and Andr{\'e}, {\'E}tienne and Hasuo, Ichiro},
  	title		=	{Model-bounded monitoring of hybrid systems},
	year		=	{2021},
	longbooktitle = {Proceedings of the 12th {ACM}/{IEEE} International Conference on Cyber-Physical Systems ({ICCPS} 2021)},
	booktitle	= {{ICCPS}},
	editor		= {Martina Maggio and
               James Weimer and
               Mohammad Al Farque and
               Meeko Oishi},
	pages		= {21--32},
	publisher	= {{ACM}},
	location	= {Nashville, TN, USA},
	doi			= {10.1145/3450267.3450531},
	eventdate	= {2021-05-19/2021-05-21},
	coreRank	= {absent},
	acceptanceRate = {26\,\%},
}