University of Amsterdam

Forschungsprojekte

• Uniform Interpolation Closure for Branching Time Temporal Logics Computation Tree Logic (CTL) is a fundamental formalism for specifying and reasoning about the behavior of no…
• Efficiency tool or manipulation machine? Assessing dominant claims about the quantity, quality, and persuasive power of visual generative AI in political campaigns Abstract Generative artificial intelligence (GenAI) is fundamentally changing political campaigning worldwide…
• Toward a Holistic Framework for Human-AI Collaboration in Safety-Critical Systems Abstract The integration of artificial intelligence (AI) into safety-critical systems, where human operators…
• Informing AI Risk Assessment with News Media: Analyzing National and Political Variation in the Coverage of AI Risks Risk-based approaches to AI governance often center the technological artifact as the primary focus of risk a…
• Exploring Public Attitudes Toward Generative AI for News Across Four Countries As generative artificial intelligence increasingly permeates most life domains, studying how the public perce…