Journal of Guidance, Control, and Dynamics 42(9), 1969–1982 (2019)

Julian, K · 1969

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.LO · 2026-04-29 · unverdicted · novelty 6.0

BDDs deliver an exact, canonical, memory-efficient representation of ACAS-Xu LUTs that supports direct formal verification and embedded deployment.

Showing 1 of 1 citing paper.

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams cs.LO · 2026-04-29 · unverdicted · none · ref 18
BDDs deliver an exact, canonical, memory-efficient representation of ACAS-Xu LUTs that supports direct formal verification and embedded deployment.