Felix Jahn

According to our database, Felix Jahn authored at least 5 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Breaking Up with Normatively Monolithic Agency with GRACE: A Reason-Based Neuro-Symbolic Architecture for Safe and Ethical AI Alignment.

Felix Jahn, Yannic Muskalla, Lisa Dargasz, Patrick Schramowski, Kevin Baum

CoRR, January, 2026

2024

Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents.

Kevin Baum, Lisa Dargasz, Felix Jahn, Timo P. Gros, Verena Wolf

CoRR, 2024

Counterfactual Explanations for MITL Violations.

Bernd Finkbeiner, Felix Jahn, Julian Siber

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2023

Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq.

Yannick Forster, Felix Jahn

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl).

Yannick Forster, Felix Jahn, Gert Smolka

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023