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

researchr

You are not signed in
Sign in
Sign up

Ami Sakakibara, Toshimitsu Ushio. On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. In 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. pages 190-191, IEEE, 2020. [doi]

This author has not been identified. Look up 'Ami Sakakibara' in GoogleThis author has not been identified. Look up 'Toshimitsu Ushio' in Google

runs on WebDSL