TY  - RPRT
TI  - Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty
AU  - Tsutomu Kobayashi
AU  - Rick Salay
AU  - Ichiro Hasuo
AU  - Krzysztof Czarnecki
AU  - Fuyuki Ishikawa
AU  - Shin-ya Katsumata
PY  - 2021
DO  - 10.1007/978-3-030-76384-8_13
UR  - https://arxiv.org/abs/2108.07509
ID  - 2108.07509
ER  -