Fetching the paper…
Reading the bibliography…
While recent developments in autonomous vehicle (AV) technology highlight substantial progress, we lack tools for rigorous and scalable testing.
What’s decidable about hybrid automata?
T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya · 1998
Earlier work this paper cites.
Learning agents for uncertain environments
S. Russell · 1998
Earlier work this paper cites.
Combinatorial optimization, cross-entropy, ants and rare events
R. Y. Rubinstein · 2001
Earlier work this paper cites.
A comparison of headway and time to collision as safety indicators
K. Vogel · 2003
Earlier work this paper cites.
Automotive open system architecture-an industry-wide initiative to manage the complexity of emerging automotive e/e-architectures
H. Heinecke, K.-P. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, J. Leflour, J.-L. Maté, K. Nishikawa, and T. Scharnhorst · 2004
Earlier work this paper cites.
Lecture notes on hybrid systems
J. Lygeros · 2004
Earlier work this paper cites.
The cross-entropy method: A unified approach to Monte Carlo simulation, randomized optimization and machine learning
R. Y. Rubinstein and D. P. Kroese · 2004
Earlier work this paper cites.
Stochastic Simulation: Algorithms and Analysis
S. Asmussen and P. W. Glynn · 2007
Earlier work this paper cites.
A study on the cross-entropy method for rare-event probability estimation
T. Homem-de Mello · 2007
Earlier work this paper cites.
Principles of model checking , volume 26202649
C. Baier, J.-P. Katoen, et al · 2008
Earlier work this paper cites.
Sparse inverse covariance estimation with the graphical lasso
J. Friedman, T. Hastie, and R. Tibshirani · 2008
Earlier work this paper cites.
Ngsim – next generation simulation, 2008
U. D. of Transportation FHWA · 2008
Earlier work this paper cites.
On the performance of the cross-entropy method
J. Hu and P. Hu · 2009
Earlier work this paper cites.
Efficient reductions for imitation learning
S. Ross and D. Bagnell · 2010
Earlier work this paper cites.
Practical variational inference for neural networks
A. Graves · 2011
Earlier work this paper cites.
Annealing adaptive search, cross-entropy, and stochastic approximation in global optimization
J. Hu and P. Hu · 2011
Earlier work this paper cites.
Prism 4.0: Verification of probabilistic real-time systems
M. Kwiatkowska, G. Norman, and D. Parker · 2011
Earlier work this paper cites.
A reduction of imitation learning and structured prediction to no-regret online learning
S. Ross, G. Gordon, and D. Bagnell · 2011
Earlier work this paper cites.
A stochastic approximation framework for a class of randomized optimization algorithms
J. Hu, P. Hu, and H. S. Chang · 2012
Earlier work this paper cites.
Introduction to rare event simulation
J. Bucklew · 2013
Cited alongside, same era.
ZeroMQ: messaging for many applications
P. Hintjens · 2013
Cited alongside, same era.
The cross-entropy method for estimation
D. P. Kroese, R. Y. Rubinstein, and P. W. Glynn · 2013
Cited alongside, same era.
Implementation of autonomous emergency braking (aeb), the next step in euro ncap’s safety assessment
R. Schram, A. Williams, and M. van Ratingen · 2013
Cited alongside, same era.
Stochastic adaptive search for global optimization , volume 72
Z. B. Zabinsky · 2013
Cited alongside, same era.
Online verification of automated road vehicles using reachability analysis
M. Althoff and J. Dolan · 2014
Cited alongside, same era.
Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability?
N. Kalra and S. M. Paddock · 2016
Later among the works it cites.
Apex: Autonomous vehicle plan verification and execution
M. O’Kelly, H. Abbas, S. Gao, S. Shiraishi, S. Kato, and R. Mangharam · 2016
Later among the works it cites.
Deep exploration via bootstrapped dqn
I. Osband, C. Blundell, A. Pritzel, and B. Van Roy · 2016
Later among the works it cites.
Utilizing s-taliro as an automatic test generation framework for autonomous vehicles
C. E. Tuncali, T. P. Pavlic, and G. Fainekos · 2016
Later among the works it cites.
Accelerated Evaluation of Automated Vehicles
D. Zhao · 2016
Later among the works it cites.
End-to-end differentiable adversarial imitation learning
N. Baram, O. Anschel, I. Caspi, and S. Mannor · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Provable bounds for learning some deep representations
S. Arora, A. Bhaskara, R. Ge, and T. Ma · 2014
Cited alongside, same era.
Model-based annealing random search with stochastic averaging
J. Hu, E. Zhou, and Q. Fan · 2014
Cited alongside, same era.
Gradient-based adaptive stochastic search for non-differentiable optimization
E. Zhou and J. Hu · 2014
Cited alongside, same era.
Weight uncertainty in neural networks
C. Blundell, J. Cornebise, K. Kavukcuoglu, and D. Wierstra · 2015
Cited alongside, same era.
Unreal engine 4 documentation
E. Games · 2015
Cited alongside, same era.
Variational dropout and the local reparameterization trick
D. P. Kingma, T. Salimans, and M. Welling · 2015
Cited alongside, same era.
Later among the works it cites.
Spectrally-normalized margin bounds for neural networks
P. L. Bartlett, D. J. Foster, and M. J. Telgarsky · 2017
Later among the works it cites.
CARLA: An open urban driving simulator
A. Dosovitskiy, G. Ros, F. Codevilla, A. Lopez, and V. Koltun · 2017
Later among the works it cites.
Safety verification of deep neural networks
X. Huang, M. Kwiatkowska, S. Wang, and M. Wu · 2017
Later among the works it cites.
Reluplex: An efficient smt solver for verifying deep neural networks
G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer · 2017
Later among the works it cites.
Imitating driver behavior with generative adversarial networks
A. Kuefler, J. Morton, T. Wheeler, and M. Kochenderfer · 2017
Later among the works it cites.
Airsim: High-fidelity visual and physical simulation for autonomous vehicles
S. Shah, D. Dey, C. Lovett, and A. Kapoor · 2017
Later among the works it cites.
On a formal model of safe and scalable self-driving cars
S. Shalev-Shwartz, S. Shammah, and A. Shashua · 2017
Later among the works it cites.
Verifying neural networks with mixed integer programming
V. Tjeng and R. Tedrake · 2017
Later among the works it cites.
Safe at any speed: A simulation-based test harness for autonomous vehicles
H. Abbas, M. O’Kelly, A. Rodionova, and R. Mangharam · 2018
Closest in time.
Deepdrive
C. Quiter and M. Ernst · 2018
Closest in time.
Self-driving vehicle verification towards a benchmark
N. Roohi, R. Kaur, J. Weimer, O. Sokolsky, and I. Lee · 2018
Closest in time.
Accelerated evaluation of automated vehicles in car-following maneuvers
D. Zhao, X. Huang, H. Peng, H. Lam, and D. J. LeBlanc · 2018
Closest in time.