Observability of Boolean Control Networks: New Definition and Verification Algorithm.
Proceedings of the Formal Methods and Software Engineering, 2024
Single-Experiment Reconstructibility of Boolean Control Networks Revisited.
Proceedings of the 20th International Conference on Informatics in Control, 2023
Online Observability of Boolean Control Networks.
CoRR, 2019