ICE: A Robust Framework for Learning Invariance

Cham [u.a.] / Springer (2014) [Contribution to a book, Contribution to a conference proceedings]

Computer aided verification : 26th international conference, CAV 2014, held as a part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 ; proceedings / Armin Biere; Roderick Bloem (eds.)
Page(s): 69-87



Garg, Pranav
Löding, Christof
Madhusudan, P.
Neider, Daniel