A Hybrid Dynamic Logic for Event/Data-based Systems.
Rolf HennickerAlexandre MadeiraAlexander KnappPublished in: CoRR (2019)
Keyphrases
- database
- data sets
- data structure
- data quality
- data sources
- data collection
- dynamic logic
- raw data
- data points
- data analysis
- training data
- artificial intelligence
- data processing
- synthetic data
- image data
- general purpose
- multi dimensional
- input data
- probability distribution
- computer systems
- dynamic environments
- storage systems