ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1810.08303
  4. Cited By
Compositional Verification for Autonomous Systems with Deep Learning
  Components

Compositional Verification for Autonomous Systems with Deep Learning Components

18 October 2018
C. Păsăreanu
D. Gopinath
Huafeng Yu
ArXiv (abs)PDFHTML

Papers citing "Compositional Verification for Autonomous Systems with Deep Learning Components"

2 / 2 papers shown
Title
Verifying Controllers with Convolutional Neural Network-based
  Perception: A Case for Intelligible, Safe, and Precise Abstractions
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Chiao Hsieh
Keyur Joshi
Sasa Misailovic
Sayan Mitra
89
35
0
10 Nov 2021
Counterexample-Guided Synthesis of Perception Models and Control
Counterexample-Guided Synthesis of Perception Models and Control
Shromona Ghosh
Yash Vardhan Pant
H. Ravanbakhsh
Sanjit A. Seshia
108
15
0
04 Nov 2019
1