On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.
Marc HerbstrittBernd BeckerErika ÁbrahámChristian HerdePublished in: DDECS (2007)
Keyphrases
- variable selection
- bounded model checking
- hybrid automata
- linear models
- input variables
- high dimensional
- cross validation
- model checking
- dimension reduction
- proportional hazards model
- model selection
- formal verification
- linear temporal logic
- finite state automata
- high dimensional data
- linear program
- search strategies
- temporal logic
- linear programming
- feature selection
- fuzzy rules
- sat solvers
- data sets
- dimensionality reduction
- np hard
- optimal solution
- objective function
- feature extraction
- learning algorithm