Artificial Intelligence: Presentations
NASA is designing a new, automated, air-traffic control system. Given a large space of partial designs, e.g. dividing aircraft separation assurance functions between the air and ground in different configurations, how do we comparatively analyze safety in a meaningful way? How do we reason about adding Unmanned Aerial Systems? We use the automated reasoning of formal methods!
Learn how your CS background can help you shape the future of airspace!
Downside management is an important topic in the field of recommender systems. User satisfaction increases when good items are recommended, but satisfaction drops significantly when bad recommendations are pushed to them. While most existing work focuses on upside management, this paper emphasizes on achieving better downside management. The approach we propose is general and can be applied to any scenario or domain where downside management is key to the system.