Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods

Tom Yaacov, Gera Weiss, Adiel Ashrov +2

We explore and evaluate the interactions between Behavioral Programming (BP) and a range of Artificial Intelligence (AI) and Formal Methods (FM) techniques. Our goal is to demonstr…