ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
Gidon ErnstPaolo ArcainiGeorgios FainekosFederico FormicaJun InoueTanmay KhandaitMohammad Mahdi MahboobClaudio MenghiGiulia PedrielliMasaki WagaYoriyuki YamagataZhenya ZhangPublished in: ARCH@SAFECOMP (2022)
Keyphrases
- limited resources
- resource allocation
- resource management
- semantic categories
- real world
- resource constraints
- web resources
- information resources
- data management
- artificial neural networks
- training set
- bug reports
- resource consumption
- database
- expert systems
- multiscale
- bayesian networks
- case study
- artificial intelligence
- information retrieval
- data mining
- neural network
- real time