Katrine Bjørner

According to our database, Katrine Bjørner authored at least 2 papers in 2023.

Collaborative distances:

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

2023

Formal XAI via Syntax-Guided Synthesis.

Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.

Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023