@misc{indiciae48d6e00e1562,
  title = {Analyzing Intentional Behavior in Autonomous Agents under Uncertainty},
  author = {Filip Cano Córdoba and Samuel Judson and Timos Antonopoulos and Katrine Bjørner and Nicholas Shoemaker and Scott J. Shapiro and Ruzica Piskac and Bettina Könighofer},
  year = {2023},
  url = {https://arxiv.org/abs/2307.01532},
  note = {Source identifier: 2307.01532}
}