Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2407.02632
Cited By
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
2 July 2024
Isabelle Hurley
Rohan R. Paleja
Ashley Suh
Jaime D. Peña
H. Siu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)"
2 / 2 papers shown
Title
Military AI Needs Technically-Informed Regulation to Safeguard AI Research and its Applications
Riley Simmons-Edler
Jean Dong
Paul Lushenko
K. Rajan
R. Badman
48
0
0
23 May 2025
Learning Formal Specifications from Membership and Preference Queries
Ameesh Shah
Marcell Vazquez-Chanlatte
Sebastian Junges
Sanjit A. Seshia
90
6
0
19 Jul 2023
1