• Sign in
  • Sign up
conf.researchr.org / Tom Yaacov
  • ICSE 2023 profile
  • MODELS 2025 profile
  • Requirements Engineering 2024 profile
Tom Yaacov

Registered user since Sat 4 Feb 2023

Name:Tom Yaacov
Affiliation:Ben-Gurion University of the Negev
Personal website: https://tomyaacov.github.io/

Contributions

2025

MODELS

  • Author of Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems within the Research Papers-track
  • Author of Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems within the Posters-track
  • Author of Automata Models for Effective Bug Description within the Research Papers-track

2024

Requirements Engineering

  • Author of Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements within the Research Papers-track

2023

ICSE

  • Author of What Petri Nets Oblige Us to Say Comparing Approaches for Behavior Composition within the Journal-First Papers-track
Share
xSat 25 Oct 06:23
using conf.researchr.org (v1.72.1)
Support page
Sign Up