On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications

Ami Sakakibara, Toshimitsu Ushio
April 2020
Cite
Type
Conference paper
Publication
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)