Verification of Population Protocols with Unordered Data.
Steffen van BergeremRoland GuttenbergSandra KieferCorto MascleNicolas WaldburgerChana Weil-KennedyPublished in: ICALP (2024)
Keyphrases
- image data
- knowledge discovery
- data sets
- synthetic data
- high dimensional data
- experimental data
- data collection
- original data
- database
- databases
- probability distribution
- data quality
- prior knowledge
- complex data
- small number
- website
- sensor data
- statistical methods
- data distribution
- historical data
- computer systems
- data processing
- input data
- data points
- data sources
- data structure
- training data