DEEP-LEARNING APPROACHES TO VALIDATE FORMAL MODELS OF BIOLOGICAL SYSTEMS
Mahdi Behroozikhah, Dhranidar Dang, Debashis Sahoo
Boolean Lab
11 0 1 0 1 0 1 1 0 1111 0 0 0 0 11 0 0 0 1 0 0 0 0 0 0 11 0 0 0 0 0 0 0 1 1111 0 0 0 0 1 0 0 1 0 111 1 0 1 0 0 111 0 0 0 111 0 0 1111 0 0 0 1