C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Causal Signal Temporal Logic for the Environmental Control and Life Support System's Fault Analysis and Explanation.
Ziquan Deng
Samuel P. Eshima
James Nabity
Zhaodan Kong
Published in:
IEEE Access (2023)
Keyphrases
</>
temporal logic
model checking
modal logic
fault detection
heuristic search