Input Attribution for Statistical Model Checking Using Logistic Regression.
Jeffery P. HansenSagar ChakiScott A. HissamJames R. EdmondsonGabriel A. MorenoDavid KylePublished in: RV (2016)
Keyphrases
- logistic regression
- model checking
- temporal logic
- model checker
- automated verification
- decision trees
- temporal properties
- credit scoring
- symbolic model checking
- loss function
- formal verification
- finite state
- formal specification
- timed automata
- logistic regression models
- support vector
- naive bayes
- verification method
- transition systems
- bounded model checking
- computation tree logic
- odds ratio
- epistemic logic
- formal methods
- linear svm
- alternating time temporal logic
- ctl model update
- deterministic finite automaton
- feature selection
- planning domains
- reactive systems
- statistical significance
- concurrent systems
- bayesian networks