Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy.
Eur. J. Oper. Res., 2022
Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016