TY  - RPRT
TI  - Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
AU  - Tom Yaacov
AU  - Gera Weiss
AU  - Adiel Ashrov
AU  - Guy Katz
AU  - Jules Zisser
PY  - 2025
UR  - https://arxiv.org/abs/2501.15480
ID  - 2501.15480
ER  -