Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios.
Agostina CalabresePublished in: RCRA/RiCeRcA@AI*IA (2019)
Keyphrases
- formal verification
- clinical trials
- model checking
- decision support system
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- clinical guidelines
- biological data
- experimental design
- cancer patients
- temporal logic
- disease progression
- real world
- learning scenarios
- databases
- gene regulatory networks
- decision makers
- upper bound
- lower bound
- reinforcement learning
- training data
- mild cognitive impairment
- machine learning