From invariant checking to invariant inference using randomized search

Document Details

Document Type: Pub Defense Publication
Publication Date: Mar 25, 2016
Source ID: 10.1007/s10703-016-0248-5

Entities

People

Alex Aiken
Rahul Sharma

Organizations

Air Force Research Laboratory
Microsoft Research
National Science Foundation

Tags

Technology Areas

AI & ML
AI & ML - Machine Learning Algorithms