Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata. Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. In Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0003, editors, NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Volume 12673 of Lecture Notes in Computer Science, pages 198-213, Springer, 2021. [doi]

This author has not been identified. Look up 'Tsutomu Kobayashi' in GoogleThis author has not been identified. Look up 'Rick Salay' in GoogleThis author has not been identified. Look up 'Ichiro Hasuo' in GoogleThis author has not been identified. It may be one of the following persons:

Krzysztof Czarnecki

Look up 'Krzysztof Czarnecki' in GoogleThis author has not been identified. Look up 'Fuyuki Ishikawa' in GoogleThis author has not been identified. Look up 'Shin-ya Katsumata' in Google

runs on WebDSL