We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Authors: Thao Dang (Verimag/CNRS, France), Stefan Ratschan (Institute of Computer Science, Czech Academy of Sciences)
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.
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
Journal reference: EPTCS 331, 2021
DOI: 10.4204/EPTCS.331
Cite as: arXiv:2101.05256 [cs.LO]
  (or arXiv:2101.05256v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Fri, 1 Jan 2021 06:32:01 GMT (4kb)

Link back to: arXiv, form interface, contact.