8 citations · 39 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CY2021
Sampling of Shape Expressions
Nicolas Basset, Thao Dang, Felix Gigler +2
Cyber-physical systems (CPS) are increasingly becoming driven by data, using multiple types of sensors to capture huge amounts of data. Extraction and characterization of useful in…
cs.LO2021
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Thao Dang, Stefan Ratschan
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.…