Ariel Gorenstein

According to our database, Ariel Gorenstein authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.

Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2022

Predictive maintenance for critical infrastructure.

Ariel Gorenstein, Meir Kalech

Expert Syst. Appl., 2022