{"total":31,"rows":[{"id":"2310.10299","title":"Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk Control","created":"2023-10-16","cited_by_count":20,"area":null},{"id":"2604.11806","title":"Detecting Safety Violations Across Many Agent Traces","created":"2026-04-13","cited_by_count":14,"area":null},{"id":"2105.02331","title":"Safety Enhancement for Deep Reinforcement Learning in Autonomous Separation Assurance","created":"2021-05-05","cited_by_count":8,"area":null},{"id":"2306.06808","title":"Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications","created":"2023-06-11","cited_by_count":7,"area":null},{"id":"2404.08517","title":"Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward","created":"2024-04-12","cited_by_count":6,"area":null},{"id":"2104.02545","title":"Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems","created":"2021-04-06","cited_by_count":5,"area":null},{"id":"2204.07579","title":"Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network","created":"2022-04-15","cited_by_count":4,"area":null},{"id":"2205.04590","title":"A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems","created":"2022-05-09","cited_by_count":3,"area":null},{"id":"2310.17410","title":"Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic","created":"2023-10-26","cited_by_count":3,"area":null},{"id":"2312.01959","title":"Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees","created":"2023-12-04","cited_by_count":2,"area":null},{"id":"2603.29868","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2108.02572","title":"SINGA-Easy: An Easy-to-Use Framework for MultiModal Analysis","created":"2021-08-03","cited_by_count":0,"area":null},{"id":"2108.02725","title":"VisualTextRank: Unsupervised Graph-based Content Extraction for Automating Ad Text to Image Search","created":"2021-08-05","cited_by_count":0,"area":null},{"id":"2109.05778","title":"Text is NOT Enough: Integrating Visual Impressions into Open-domain Dialogue Generation","created":"2021-09-13","cited_by_count":0,"area":null},{"id":"2202.02830","title":"Discovering Personalized Semantics for Soft Attributes in Recommender Systems using Concept Activation Vectors","created":"2022-02-06","cited_by_count":0,"area":null},{"id":"2203.11011","title":"Reinforced MOOCs Concept Recommendation in Heterogeneous Information Networks","created":"2022-03-08","cited_by_count":0,"area":null},{"id":"2205.01419","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","created":"2022-05-03","cited_by_count":0,"area":null},{"id":"2205.08335","title":"Explanation-Guided Fairness Testing through Genetic Algorithm","created":"2022-05-16","cited_by_count":0,"area":null},{"id":"2207.14648","title":"Using Graph Neural Networks for Program Termination","created":"2022-07-28","cited_by_count":0,"area":null},{"id":"2303.09664","title":"Tribe or Not? Critical Inspection of Group Differences Using TribalGram","created":"2023-03-16","cited_by_count":0,"area":null},{"id":"2304.12508","title":"Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning","created":"2023-04-25","cited_by_count":0,"area":null},{"id":"2405.15771","title":"Adaptive Splitting of Reusable Temporal Monitors for Rare Traffic Violations","created":"2024-03-13","cited_by_count":0,"area":null},{"id":"2409.10562","title":"Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements","created":"2024-09-13","cited_by_count":0,"area":null},{"id":"2601.03038","title":"Validating Generalist Robots with Situation Calculus and STL Falsification","created":"2026-01-06","cited_by_count":0,"area":null},{"id":"2601.06061","title":"AI Application Operations -- A Socio-Technical Framework for Data-driven Organizations","created":"2025-12-23","cited_by_count":0,"area":null},{"id":"2605.13923","title":"Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2605.24649","title":"On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks","created":"2026-05-23","cited_by_count":0,"area":null},{"id":"2607.08899","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","created":"2026-07-09","cited_by_count":0,"area":null},{"id":"2608.03662","title":"Shielding for Higher-Order Safety","created":"2026-08-04","cited_by_count":0,"area":null},{"id":"2608.13625","title":"Reward Machines for Signal Temporal Logic","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2609.38612","title":"StreamDecisionBench: Evaluating Decisions in Force on Evolving Language Streams","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}