International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | The EM-BDD algorithm for learning hidden Markov models | Ósk Gunnarsdóttir, Anna Ingólfsdóttir |
| 15:00 | Is Machine Learning Model Checking Privacy Preserving? | Gaia Saveri, Laura Nenzi, Luca Bortolussi, Simone Silvetti |
| 15:30 | Establishing Trust in Dynamically Formed Ensembles | Jan Sürmeli, Sergen Yilmaz |