I agree that this site is using cookies. You can find further informations here.
X
Lee, Ritchie
939  results:
Search for persons X
?
1

Scalable Autonomous Vehicle Safety Validation through Dynam..:

, In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC),
Corso, Anthony ; Lee, Ritchie ; Kochenderfer, Mykel J. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
2

NASA Formal Methods: 12th International Symposium, NFM 2020.. 

Programming and Software Engineering, 12229
Lee, Ritchie ; Jha, Susmit ; Mavridou, Anastasia. - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
3

Validation of Image-Based Neural Network Controllers throug..:

, In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC),
Julian, Kyle D. ; Lee, Ritchie ; Kochenderfer, Mykel J. - p. 1-7 , 2020
Link: https://doi.org/10.1109/..
 
?
4

Correction to: NASA Formal Methods:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Lee, Ritchie ; Jha, Susmit ; Mavridou, Anastasia. - p. C1-C1 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Adaptive Stress Testing of Trajectory Predictions in Flight..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Moss, Robert J. ; Lee, Ritchie ; Visser, Nicholas... - p. 1-10 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Adaptive Stress Testing of Safety-Critical Systems:

, In: Safe, Autonomous and Intelligent Vehicles; Unmanned System Technologies,
Lee, Ritchie ; Mengshoel, Ole J. ; Kochenderfer, Mykel J. - p. 77-95 , 2018
Link: https://doi.org/10.1007/..
 
?
7

Towards a bayesian network game framework for evaluating DD..:

, In: Proceedings of the 2012 ACM conference on Computer and communications security,
Yan, Guanhua ; Lee, Ritchie ; Kent, Alex. - p. 553-566 , 2012
Link: https://dl.acm.org/doi/1..
 
?
8

Scalable Autonomous Vehicle Safety Validation through Dynam..:

Corso, Anthony ; Lee, Ritchie ; Kochenderfer, Mykel J
http://arxiv.org/abs/2004.06801.  , 2020
Link: http://arxiv.org/abs/200..
 
?
9

A Survey of Algorithms for Black-Box Safety Validation of C..:

Corso, Anthony ; Moss, Robert J ; Koren, Mark..
http://arxiv.org/abs/2005.02979.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

Correction to: NASA Formal Methods:

Lee, Ritchie ; Jha, Susmit ; Mavridou, Anastasia.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7705916/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
11

Adaptive Stress Testing of Trajectory Predictions in Flight..:

Moss, Robert J ; Lee, Ritchie ; Visser, Nicholas...
http://arxiv.org/abs/2011.02559.  , 2020
Link: http://arxiv.org/abs/201..
 
?
12

Validation of Image-Based Neural Network Controllers throug..:

Julian, Kyle D ; Lee, Ritchie ; Kochenderfer, Mykel J
http://arxiv.org/abs/2003.02381.  , 2020
Link: http://arxiv.org/abs/200..
 
?
13

Adaptive Stress Testing for Autonomous Vehicles:

Koren, Mark ; Alsaif, Saud ; Lee, Ritchie.
http://arxiv.org/abs/1902.01909.  , 2019
Link: http://arxiv.org/abs/190..
 
?
14

Adaptive Stress Testing: Finding Likely Failure Events with..:

Lee, Ritchie ; Mengshoel, Ole J ; Saksena, Anshu...
http://arxiv.org/abs/1811.02188.  , 2018
Link: http://arxiv.org/abs/181..
 
?
15

Interpretable Categorization of Heterogeneous Time Series D..:

Lee, Ritchie ; Kochenderfer, Mykel J ; Mengshoel, Ole J.
http://arxiv.org/abs/1708.09121.  , 2017
Link: http://arxiv.org/abs/170..
 
1-15