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
Authors
Authors
Garg, Pranav
Löding, Christof
Madhusudan, P.
Neider, Daniel
Identifier
- DOI: 10.1007/978-3-319-08867-9_5
- REPORT NUMBER: RWTH-CONV-206162