@misc{indiciae39d113f5ac4e,
  title = {Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods},
  author = {Tom Yaacov and Gera Weiss and Adiel Ashrov and Guy Katz and Jules Zisser},
  year = {2025},
  url = {https://arxiv.org/abs/2501.15480},
  note = {Source identifier: 2501.15480}
}