Learning invariants using decision trees and implication counterexamples

Document Details

Document Type: Pub Defense Publication
Publication Date: Jan 11, 2016
Source ID: 10.1145/2837614.2837664

Entities

People

Dan Roth
Daniel Neider
P. Madhusudan
Pranav Garg

Organizations

National Science Foundation
University of Illinois Urbana–Champaign