International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Understanding the process of trust calibration in Human- AI-collaboration and the role of calibration points in human-drone-interaction | Annette Kluge, Christopher Reining, Shrutarv Awasti, Lisa Thomaschewski, Markus Pauly, Sven Franke, Moritz Roidl, Olga Vogel |
| 11:30 | The Future Audit Society? Automated Assurance and Auditing | Benjamin Lange |
| 12:00 | Why Did It Do That? Trustworthy Artificial Agents via Justifiability | Kevin Baum, Timo P. Gros, Lena Dargasz, Felix Jahn |
| 12:30 | Feedback from AI Teammates: Implications on Perceived Trustworthiness and Self-Image | Anna-Sophie Ulfert |