Name
Title | ||
|---|---|---|
A methodology for analyzing human-automation interactions in flight operations using formal verification techniques |
Year | Venue | Field |
|---|---|---|
2014 | AAAI Spring Symposia | Interaction systems,Model checking,Systems engineering,Computer science,Simulation,Automation,Artificial intelligence,International Space Station,Life support system,Flight operations,Machine learning,Formal verification |
DocType | Citations | PageRank |
Conference | 1 | 0.39 |
References | Authors | |
6 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Denis Javaux | 1 | 1 | 1.06 |
| Bertram Wortelen | 2 | 16 | 4.83 |
| Andreas Lüdtke | 3 | 34 | 14.27 |
| Charles Pecheur | 4 | 284 | 28.50 |
| regina peldszus | 5 | 1 | 0.39 |
| Sonja Sievi | 6 | 25 | 1.49 |
| Yuri Yushtein | 7 | 33 | 3.06 |