STL: Still Tricky Logic (for System Validation, Even When Showing Y our Work) Isabelle Hurley

Feb-18-2026, 08:03:22 GMT–Neural Information Processing Systems

Previous work showed that despite claims of interpretability, humans are unable to use formal specifications presented in a variety of ways to validate even simple robot behaviors.

logic & formal reasoning, machine learning, specification, (20 more...)

Neural Information Processing Systems

Feb-18-2026, 08:03:22 GMT

Conferences PDF

Country:
- Asia
  - China (0.04)
  - India (0.04)
  - Macao (0.04)
  - Malaysia (0.04)
- North America > United States
  - California > Los Angeles County
    - Los Angeles (0.14)
  - Massachusetts > Middlesex County
    - Cambridge (0.04)
    - Lexington (0.04)

Genre:
- Research Report
  - Experimental Study > Negative Result (0.67)
  - New Finding (1.00)

Industry:
- Education > Educational Setting (1.00)
- Government
  - Military (0.93)
  - Regional Government > North America Government
    - United States Government (0.93)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning (1.00)
  - Natural Language (0.93)
  - Representation & Reasoning > Logic & Formal Reasoning (0.90)
  - Robots (1.00)

Duplicate Docs Excel Report

Title
STL: Still Tricky Logic (for System Validation, Even When Showing Y our Work) Isabelle Hurley

Similar Docs Excel Report more

Title	Similarity	Source
None found