Zobrazeno 1 - 10
of 94
pro vyhledávání: '"Strong, Christopher A."'
Deep neural networks often lack the safety and robustness guarantees needed to be deployed in safety critical systems. Formal verification techniques can be used to prove input-output safety properties of networks, but when properties are difficult t
Externí odkaz:
http://arxiv.org/abs/2106.05325
Neural networks are often used to process information from image-based sensors to produce control actions. While they are effective for this task, the complex nature of neural networks makes their output difficult to verify and predict, limiting thei
Externí odkaz:
http://arxiv.org/abs/2105.07091
Publikováno v:
Mach Learn (2021). http://link.springer.com/article/10.1007/s10994-021-06065-9
Neural networks serve as effective controllers in a variety of complex settings due to their ability to represent expressive policies. The complex nature of neural networks, however, makes their output difficult to verify and predict, which limits th
Externí odkaz:
http://arxiv.org/abs/2103.01203
Autor:
Strong, Christopher A., Wu, Haoze, Zeljić, Aleksandar, Julian, Kyle D., Katz, Guy, Barrett, Clark, Kochenderfer, Mykel J.
Neural networks can learn complex, non-convex functions, and it is challenging to guarantee their correct behavior in safety-critical contexts. Many approaches exist to find failures in networks (e.g., adversarial examples), but these cannot guarante
Externí odkaz:
http://arxiv.org/abs/2010.03258
Autor:
Gama, Francisco, Rocha, Bruno, Aguiar, Carlos, Strong, Christopher, Freitas, Pedro, Brízido, Catarina, Tralhão, António, Durazzo, Anai, Mendes, Miguel
Publikováno v:
In Heart, Lung and Circulation August 2023 32(8):949-957
Autor:
Liu, Changliu, Arnon, Tomer, Lazarus, Christopher, Strong, Christopher, Barrett, Clark, Kochenderfer, Mykel J.
Deep neural networks are widely used for nonlinear function approximation with applications ranging from computer vision to control. Although these networks involve the composition of simple arithmetic operations, it can be very challenging to verify
Externí odkaz:
http://arxiv.org/abs/1903.06758
Autor:
Brízido, Catarina, Madeira, Sérgio, Silva, Cláudia, Strong, Christopher, Tralhão, António, Almeida, Manuel
Publikováno v:
In Revista Portuguesa de Cardiologia March 2023 42(3):269-276
Autor:
Maltês, Sérgio, Brízido, Catarína, Rocha, Bruno M.L., Cunha, Gonçalo J.L., Strong, Christopher, Freitas, Pedro, Durazzo, Anaí, Tralhão, António, Ventosa, António, Aguiar, Carlos, Mendes, Miguel
Publikováno v:
In Revista Portuguesa de Cardiologia February 2023 42(2):89-95
Autor:
Brízido, Catarina ⁎, Ferreira, António Miguel, Lopes, Pedro, Strong, Christopher, Sá Mendes, Gustavo, Fernandes Gama, Francisco, Durazzo, Anaí, Rocha Rodrigues, Gustavo, Matos, Daniel, Guerreiro, Sara, Madeira, Sérgio, Ferreira, Jorge, Adragão, Pedro, Mendes, Miguel
Publikováno v:
In Revista Portuguesa de Cardiologia (English Edition) September 2021 40(9):669-675
Autor:
Brízido, Catarina, Ferreira, António Miguel, Lopes, Pedro, Strong, Christopher, Mendes, Gustavo Sá, Gama, Francisco Fernandes, Durazzo, Anaí, Rodrigues, Gustavo Rocha, Matos, Daniel, Guerreiro, Sara, Madeira, Sérgio, Ferreira, Jorge, Adragão, Pedro, Mendes, Miguel
Publikováno v:
In Revista Portuguesa de Cardiologia September 2021 40(9):669-675