Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications-Reference-Cited by-同舟云学术

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

Published:2021-12-14 Issue: Volume: Page:
ISSN:
Container-title:2021 60th IEEE Conference on Decision and Control (CDC)
language:
Short-container-title:

Author:

Badithela Apurva¹,Wongpiromsarn Tichakorn²,Murray Richard M.¹

Affiliation:

1. California Institute of Technology,Control and Dynamical Systems, Computing and Mathematical Sciences,Pasadena,CA,USA,91106

2. Iowa State University,Department of Computer Science,Ames,IA,USA,50011

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9682670/9682776/09683611.pdf?arnumber=9683611

Reference28 articles.

1. Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming;fazlyab;IEEE Transactions on Automatic Control,2020

2. NNV: The neural network verification tool for deep neural networks and learning-enabled cyber-physical systems;tran;International Conference on Computer Aided Verification,2020

3. Semantic Adversarial Deep Learning

4. Formal Specification for Deep Neural Networks

5. Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components;IEEE Transactions on Software Engineering;2024-06

2. Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems;2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2023-10-01

3. Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study;Computer Aided Verification;2023

4. Design and Evaluation of Object Classifiers for Probabilistic Decision-Making in Autonomous Systems;2022 International Conference on Robotics and Automation (ICRA);2022-05-23