Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Watson, Christopher, Alur, Rajeev, Gopinath, Divya, Mangal, Ravi, Pasareanu, Corina S.
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2504.20942