| Automated synthesis of social laws in strips R Nir, A Shleyfman, E Karpas Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9941-9948, 2020 | 10 | 2020 |
| Automated verification of social laws for continuous time multi-robot systems R Nir, E Karpas Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7683-7690, 2019 | 6 | 2019 |
| Learning-based synthesis of social laws in STRIPS R Nir, A Shleyfman, E Karpas Proceedings of the International Symposium on Combinatorial Search 12 (1), 88-96, 2021 | 3 | 2021 |
| Automated verification of social laws in numeric settings R Nir, A Shleyfman, E Karpas Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 12087 …, 2023 | | 2023 |
