Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking.
Agostina CalabreseToni ManciniAnnalisa MassiniStefano SinisiEnrico TronciPublished in: RCRA/RiCeRcA@AI*IA (2019)
Keyphrases
- clinical trials
- model checking
- temporal logic
- decision support system
- model checker
- temporal properties
- formal verification
- multiple sclerosis
- cancer patients
- symbolic model checking
- computation tree logic
- experimental design
- artificial intelligence
- decision makers
- automated verification
- formal specification
- formal methods
- virtual environment
- verification method
- clinical guidelines
- expert systems
- disease progression
- virtual world
- epistemic logic
- transition systems
- reactive systems
- timed automata
- concurrent systems
- bounded model checking
- machine learning
- decision making
- data analysis
- knowledge representation
- case based reasoning
- learning algorithm
- linear temporal logic
- medical practice
- description language
- deterministic finite automaton
- sample size