StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems
Year: 2025
Type: conference-paper
Abstract: Artifact Package for CAV 2025 Paper #274: StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems
Authors: Tran, Dung, Choi, Sung Woo, Li, Yuntao, Liu, Qing
Institution: University of Nebraska–Lincoln
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W6949487805
FWCI:
Cites:
Cited by:
Related to: