Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game. - Achiya Elyasaf; Aviran Sadon; Gera Weiss; Tom Yaacov (MoDELS (Companion), 2019)

What Petri Net Obliges Us to Say. - Achiya Elyasaf; Tom Yaacov; Gera Weiss (CoRR, 2022)

What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition. - Achiya Elyasaf; Tom Yaacov; Gera Weiss (IEEE Trans. Software Eng., 2023)

BPpy: Behavioral programming in Python. - Tom Yaacov (SoftwareX, 2023)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. - Tom Yaacov; Achiya Elyasaf; Gera Weiss (RE, 2024)

Boosting LLM-Based Software Generation by Aligning Code with Requirements. - Tom Yaacov; Achiya Elyasaf; Gera Weiss (RE Workshops, 2024)

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods. - Tom Yaacov; Gera Weiss; Adiel Ashrov; Guy Katz; Jules Zisser (ENASE, 2025)

Automata Models for Effective Bug Description. - Tom Yaacov; Gera Weiss; Gal Amram; Avi Hayoun (CoRR, 2025)