Search Results for author: Tomer Arnon

Found 2 papers, 2 papers with code

Entropy-regularized Point-based Value Iteration

1 code implementation14 Feb 2024 Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel, Kyle Wray, Tomer Arnon, Stefan Witwicki, Mykel J. Kochenderfer

However, model-based planners may be brittle under these types of uncertainty because they rely on an exact model and tend to commit to a single optimal behavior.

Algorithms for Verifying Deep Neural Networks

2 code implementations15 Mar 2019 Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark Barrett, Mykel J. Kochenderfer

Deep neural networks are widely used for nonlinear function approximation with applications ranging from computer vision to control.

Cannot find the paper you are looking for? You can Submit a new open access paper.