Name
Title | ||
|---|---|---|
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. |
Year | Venue | Field |
|---|---|---|
2014 | CoRR | Secure state,Linear dynamical system,Discrete mathematics,Modulo,Satisfiability,Unmanned ground vehicle,Formal methods,Soundness,Completeness (statistics),Mathematics,Distributed computing |
DocType | Volume | Citations |
Journal | abs/1412.4324 | 5 |
PageRank | References | Authors |
0.44 | 1 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yasser Shoukry | 1 | 104 | 12.27 |
| Pierluigi Nuzzo | 2 | 305 | 33.35 |
| Alberto Puggelli | 3 | 132 | 10.13 |
| Alberto L. Sangiovanni-Vincentelli | 4 | 11385 | 1881.40 |
| Sanjit A. Seshia | 5 | 2226 | 168.09 |
| Paulo Tabuada | 6 | 17 | 3.04 |