221 followers
Reasoning About Safety-Critical Information Flow Between Pilot and Computer https://t.co/L5O7swZ1sa
Reasoning About Safety-Critical Information Flow Between Pilot and Computer https://t.co/L5O7swZ1sa
"Reasoning About Safety-Critical Information Flow Between Pilot and Computer. (arXiv:1812.10363v1 [cs.LO])" #arXiv https://t.co/MJqFHHiwOf
Our NASA Formal Methods paper combining flow-pipe & invariant synthesis verification approaches: #springerlink https://t.co/so1jHJtnqx
RT @pdsuniovi: On #Learning Sparse #Boolean Formulae for Explaining #AI Decisions https://t.co/jS0frYukGV