Tom Yaacov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2019–2025
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ENASE | Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods. | Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser |
| 2025 | MODELS | Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems. | Eric Wete, Joel Greenyer, Tom Yaacov, Daniel Kudenko, Wolfgang Nejdl |
| 2025 | MODELS | Automata Models for Effective Bug Pattern Description. | Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun |
| 2024 | RE | Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. | Tom Yaacov, Achiya Elyasaf, Gera Weiss |
| 2024 | RE | Boosting LLM-Based Software Generation by Aligning Code with Requirements. | Tom Yaacov, Achiya Elyasaf, Gera Weiss |
| 2019 | MODELS | 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 |