Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Christopher Lazarus"'
The airworthiness and safety of a non-pedigreed autopilot must be verified, but the cost to formally do so can be prohibitive. We can bypass formal verification of non-pedigreed components by incorporating Runtime Safety Assurance (RTSA) as mechanism
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d96fb7c98e525f7c4523e761afed8806
Autor:
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer
Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous systems. These networks work by mapping inputs to outputs through a sequence of layers. At each
Autor:
Kyle D. Julian, Rachel Lim, Derek A. Huang, Parth Shah, David L. Dill, Christopher Lazarus, Guy Katz, Duligur Ibeling, Aleksandar Zeljić, Clark Barrett, Mykel J. Kochenderfer, Haoze Wu, Shantanu Thakoor
Publikováno v:
Computer Aided Verification ISBN: 9783030255398
CAV (1)
CAV (1)
Deep neural networks are revolutionizing the way complex systems are designed. Consequently, there is a pressing need for tools and techniques for network analysis and certification. To help in addressing that need, we present Marabou, a framework fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::076ccbc97648630d1359ed26831dea53
https://doi.org/10.1007/978-3-030-25540-4_26
https://doi.org/10.1007/978-3-030-25540-4_26
Autor:
Christopher Lazarus
Publikováno v:
SSCI
Robot behaviour generation is an attractive option to automatically produce robot controllers. Most high-level robot behaviours comprise multiple objectives that may be conflicting with each other. This research describes experiments using two Pareto