9 citations · 22 across the 10 of their papers we have counts for
1 paper · 1 filter
Jian Xiang, Ruggero Lanotte, Simone Tini +2
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a…