Ronen Nir

According to our database, Ronen Nir authored at least 4 papers between 2019 and 2023.

Collaborative distances:

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

2023

Automated Verification of Social Laws in Numeric Settings.

Ronen Nir, Alexander Shleyfman, Erez Karpas

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Learning-Based Synthesis of Social Laws in STRIPS.

Ronen Nir, Alexander Shleyfman, Erez Karpas

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

2020

Automated Synthesis of Social Laws in STRIPS.

Ronen Nir, Alexander Shleyfman, Erez Karpas

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Automated Verification of Social Laws for Continuous Time Multi-Robot Systems.

Ronen Nir, Erez Karpas

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019