2000 character limit reached
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Published 1 Jan 2021 in cs.LO and cs.SC | (2101.05256v1)
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.