6 citations · 6 across the 2 of their papers we have counts for
3 papers
The Resh Programming Language for Multirobot Orchestration
Martin Carroll, Kedar S. Namjoshi, Itai Segall
This paper describes Resh, a new, statically typed, interpreted programming language and associated runtime for orchestrating multirobot systems. The main features of Resh are: (1)…
Verifying Robustness of Gradient Boosted Models
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar +1
Gradient boosted models are a fundamental machine learning technique. Robustness to small perturbations of the input is an important quality measure for machine learning models, bu…
Learning Software Constraints via Installation Attempts
Ran Ben Basat, Maayan Goldstein, Itai Segall
Modern software systems are expected to be secure and contain all the latest features, even when new versions of software are released multiple times an hour. Each system may inclu…