University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 59 items
Thumbnail for Learning Invariants using Decision Trees and Implication Counterexamples
Learning Invariants using Decision Trees and Implication Counterexamples
Garg, Pranav; Neider, Daniel; Madhusudan, P.; Roth, Dan

Thumbnail for ICE: A Robust Learning Framework for Synthesizing Invariants
ICE: A Robust Learning Framework for Synthesizing Invariants
Garg, Pranav; Loding, Christof; Madhusudan, P.; Neider, Daniel

Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine