International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Towards the Validation of Formal Explainers | Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Joao Marques-Silva |
| 11:30 | Interpretable and Uncertainty-Aware-by-Construction Decisions with Fuzzy Theory | Diego Perez-Palacin, Vincenzo Scotti, Alireza Maleki, Vincenzo Grassi, Raffaela Mirandola |
| 12:00 | On the Integration of Explainable Formal Methods Tools into PMC-VIS | Christel Baier, Calvin Chau, Raimund Dachselt, Sascha Klüppelholz, Max Korn, Ricardo Langner, Johannes Lehmann, Julián Méndez |