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. 2407.02632
  4. Cited By
STL: Still Tricky Logic (for System Validation, Even When Showing Your
  Work)

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
ArXiv (abs)PDFHTML

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
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
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