Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning

Autor: Ole J. Mengshoel, Daniel Genin, Michael P. Owen, Ryan W. Gardner, Ritchie Lee, Anshu Saksena, Mykel J. Kochenderfer, Joshua Silbermann

Publikováno v: The journal of artificial intelligence research

Finding the most likely path to a set of failure states is important to the analysis of safety-critical systems that operate over a sequence of time steps, such as aircraft collision avoidance systems and autonomous cars. In many applications such as

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c34ef9f6a97ff6e428ad248c8c4342c5
http://arxiv.org/abs/1811.02188

A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System

Autor: Aurora Schmidt, André Platzer, Yanni Kouskoulas, Khalil Ghorbal, Ryan W. Gardner, Stefan Mitsch, Jean-Baptiste Jeannin

Publikováno v: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩

International audience; The Next-Generation Airborne Collision Avoidance System (ACAS X) is intended to be installed on all large aircraft to give advice to pilots and prevent mid-air collisions with other aircraft. It is currently being developed by

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00ae4a81a72dfeadeb0fe4742afe0371
https://hal.science/hal-01232365

Probabilistic model checking of the next-generation airborne collision avoidance system

Autor: Daniel Genin, Aurora Schmidt, Raymond C. McDowell, Christopher Rouff, Ryan W. Gardner, Anshu Saksena

Publikováno v: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).

We present a probabilistic model checking approach for evaluating the safety and operational suitability of the Airborne Collision Avoidance System X (ACAS X). This system issues advisories to pilots when the risk of mid-air collision is imminent, an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fc6496133624dca088b925b436d2da20
https://doi.org/10.1109/dasc.2016.7777963

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System

Autor: André Platzer, Yanni Kouskoulas, Erik Zawadzki, Khalil Ghorbal, Aurora Schmidt, Ryan W. Gardner, Jean-Baptiste Jeannin

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662466803
TACAS

The Next-Generation Airborne Collision Avoidance System ACASi¾?X is intended to be installed on all large aircraft to give advice to pilots and prevent mid-air collisions with other aircraft. It is currently being developed by the Federal Aviation A

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::61d1b3af22b253fa95a73dbf00bffce0
https://doi.org/10.1007/978-3-662-46681-0_2

Securing medical records on smart phones

Autor: Sujata Garera, Ryan W. Gardner, Aviel D. Rubin, Matthew Green, Matthew W. Pagano

Publikováno v: Proceedings of the first ACM workshop on Security and privacy in medical and home-care systems.

There is an inherent conflict between the desire to maintain privacy of one's medical records and the need to make those records available during an emergency. To satisfy both objectives, we introduce a flexible architecture for the secure storage of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::43da0149f141b29a26b3230161589cfc
https://doi.org/10.1145/1655084.1655090