ICE: A Robust Framework for Learning Invariance
Garg, Pranav; Löding, Christof; Madhusudan, P.; Neider, Daniel
Cham [u.a.] : Springer (2014)
Contribution to a book, Contribution to a conference proceedings
In: 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)/Article-Nr.: 69-87
Identifier
- DOI: 10.1007/978-3-319-08867-9_5
- RWTH PUBLICATIONS: RWTH-CONV-206162