Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019.
Tomás VojnarLijun ZhangPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- special issue
- ecml pkdd
- formal methods
- ai edam
- computationally efficient
- theoretical analysis
- visualization tool
- software packages
- commercial products
- machine learning
- information systems
- expert systems
- artificial neural networks
- evolutionary algorithm
- computational cost
- learning algorithm
- computer vision algorithms
- international journal