On the Verification of Weighted Kripke Structures Under Uncertainty.
Giovanni BacciMikkel HansenKim Guldstrand LarsenPublished in: QEST (2018)
Keyphrases
- model checking
- temporal logic
- desirable properties
- databases
- interval valued
- verification method
- real time
- formal verification
- genetic algorithm
- data sets
- expert systems
- association rules
- objective function
- case study
- modal logic
- uncertain data
- website
- weighted sum
- structural features
- order statistics
- information systems
- asynchronous circuits