International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time | Topic | Authors |
14:30 | A Comparison of Monitoring Techniques for Deep Neural Networks | Wasim Essbai |
15:00 | Stochastic Multi-Armed Bandits – A Brief Tutorial | Agniv Bandyopadhyay |
15:30 | Multi-Armed Bandits for Efficient Decision Making and Active Learning | Morteza Chehreghani |