Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner. Fuzzing and Verifying RAT Refutations with Deletion Information. In Vasile Rus, Zdravko Markov, editors, Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017. pages 190-193, AAAI Press, 2017. [doi]
Abstract is missing.