Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.
Armin BiereDavid ParkerPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- special issue
- international journal
- optimization problems
- ecml pkdd
- commercial products
- data analysis
- computer vision algorithms
- learning algorithm
- analysis tool
- theoretical analysis
- significant improvement
- special section
- software packages
- building blocks
- data mining
- computationally efficient
- statistical analysis
- expert systems
- computational complexity
- machine learning