Title
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 204 8 0 28 Aug 2023
Intelligence in Strategic Games Pavel Naumov Yuan Yuan 23 9 0 16 Oct 2019
Solving Hard Stable Matching Problems Involving Groups of Similar Agents Kitty Meeks Baharak Rastegari 23 15 0 14 Aug 2017
Robots that can adapt like animals Antoine Cully Jeff Clune Danesh Tarapore Jean-Baptiste Mouret 87 1,037 0 13 Jul 2014
Subjective Logic Operators in Trust Assessment: an Empirical Study Federico Cerutti Alice Toniolo Nir Oren Timothy J. Norman 57 17 0 19 Nov 2013