In Silico Clinical Trials through AI and Statistical Model Checking.
Vadim AlimguzhinToni ManciniAnnalisa MassiniStefano SinisiEnrico TronciPublished in: OVERLAY@AI*IA (2019)
Keyphrases
- model checking
- clinical trials
- temporal logic
- finite state
- formal verification
- decision support system
- automated verification
- formal specification
- temporal properties
- artificial intelligence
- symbolic model checking
- model checker
- bounded model checking
- verification method
- computation tree logic
- expert systems
- formal methods
- experimental design
- timed automata
- transition systems
- epistemic logic
- pspace complete
- reachability analysis
- modal logic
- reactive systems
- concurrent systems
- knowledge representation
- knowledge based systems
- decision makers
- learning algorithm
- ctl model update
- alternating time temporal logic