The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop. SNR focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis for these systems.

中文翻译：

---

第6届国际CPS和物联网推理符号数字方法研讨会

第六届有关CPS和IoT的符号数字推理方法国际研讨会（SNR 2020）的议事录包含该研讨会上演讲的基础论文。SNR专注于符号和数字方法的组合，以对网络物理系统和物联网进行推理，以促进这些系统的模型识别，规范，验证和控制综合。