Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions.
Hannes KallwiesMartin LeuckerCésar SánchezPublished in: CoRR (2022)
Keyphrases
- real time
- monitoring system
- symbolic representation
- databases
- model checking
- neural network
- real world
- verification method
- high level
- decision support
- face verification
- condition monitoring
- connectionist learning
- symbolic data
- asynchronous circuits
- fingerprint verification
- formal verification
- website
- information systems
- data sets