Search Results for author:
Found 2 papers, 0 papers with code
Interpretable Anomaly Detection via Discrete Optimization
Anomaly detection is essential in many application domains, such as cyber security, law enforcement, medicine, and fraud protection.
Specification sketching for Linear Temporal Logic
Virtually all verification and synthesis techniques assume that the formal specifications are readily available, functionally correct, and fully match the engineer's understanding of the given system.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
