61 citations · 243 across the 64 of their papers we have counts for
4 papers · 1 filter
KARNet: Kalman Filter Augmented Recurrent Neural Network for Learning World Models in Autonomous Driving Tasks
Hemanth Manjunatha, Andrey Pak, Dimitar Filev +1
Autonomous driving has received a great deal of attention in the automotive industry and is often seen as the future of transportation. The development of autonomous driving techno…
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko M. K. Oishi +1
Verifying the input-output relationships of a neural network so as to achieve some desired performance specification is a difficult, yet important, problem due to the growing ubiqu…
CARNet: A Dynamic Autoencoder for Learning Latent Dynamics in Autonomous Driving Tasks
Andrey Pak, Hemanth Manjunatha, Dimitar Filev +1
Autonomous driving has received a lot of attention in the automotive industry and is often seen as the future of transportation. Passenger vehicles equipped with a wide array of se…
Learning Nash Equilibria in Zero-Sum Stochastic Games via Entropy-Regularized Policy Approximation
Yue Guan, Qifan Zhang, Panagiotis Tsiotras
We explore the use of policy approximations to reduce the computational cost of learning Nash equilibria in zero-sum stochastic games. We propose a new Q-learning type algorithm th…