Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems (Q6202106): Difference between revisions

@@ Property / cites work @@
+Q3527077
@@ Property / cites work: Q3527077 / rank @@
+Normal rank
@@ Property / cites work @@
+Control Barrier Function Based Quadratic Programs for Safety Critical Systems
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+A computable and compositional semantics for hybrid automata
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Interface-aware signal temporal logic
@@ Property / cites work: Interface-aware signal temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5364938
@@ Property / cites work: Q5364938 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A complete uniform substitution calculus for differential dynamic logic
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Cyber-Physical Systems
@@ Property / cites work: Logical Foundations of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Notion of Robustness for Cyber-Physical Systems
@@ Property / cites work: A Notion of Robustness for Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Robustness for Cyber-Physical Systems
@@ Property / cites work: Towards Robustness for Cyber-Physical Systems / rank @@
+Normal rank