{"total":54,"rows":[{"id":"2210.17366","title":"Guided Conditional Diffusion for Controllable Traffic Simulation","created":"2022-10-31","cited_by_count":190,"area":"diffusion"},{"id":"2312.08782","title":"Toward General-Purpose Robots via Foundation Models: A Survey and Meta-Analysis","created":"2023-12-14","cited_by_count":103,"area":null},{"id":"2405.04235","title":"LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning","created":"2024-05-07","cited_by_count":16,"area":null},{"id":"2210.01910","title":"Learning Signal Temporal Logic through Neural Network for Interpretable Classification","created":"2022-10-04","cited_by_count":10,"area":null},{"id":"2405.06670","title":"TLINet: Differentiable Neural Network Temporal Logic Inference","created":"2024-05-03","cited_by_count":9,"area":null},{"id":"2505.00562","title":"TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching","created":"2025-05-01","cited_by_count":9,"area":null},{"id":"2606.00773","title":"SafeVLA-Bench: A Benchmark for the Success-Safety Gap in Vision-Language-Action Models","created":"2026-05-30","cited_by_count":9,"area":"vla"},{"id":"2501.04194","title":"STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification","created":"2025-01-08","cited_by_count":8,"area":null},{"id":"2503.02924","title":"Diverse Controllable Diffusion Policy with Signal Temporal Logic","created":"2025-03-04","cited_by_count":8,"area":"diffusion"},{"id":"2209.13737","title":"Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains","created":"2022-09-27","cited_by_count":7,"area":"offlinerl"},{"id":"2212.03323","title":"Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles","created":"2022-12-06","cited_by_count":7,"area":"driving"},{"id":"2405.00871","title":"Learning to Boost the Performance of Stable Nonlinear Systems","created":"2024-05-01","cited_by_count":7,"area":null},{"id":"2304.06160","title":"Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet","created":"2023-04-12","cited_by_count":6,"area":null},{"id":"2501.13457","title":"Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks","created":"2025-01-23","cited_by_count":6,"area":null},{"id":"2510.00225","title":"TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks","created":"2025-09-30","cited_by_count":6,"area":null},{"id":"2208.05440","title":"Differentiable Inference of Temporal Logic Formulas","created":"2022-08-10","cited_by_count":5,"area":null},{"id":"2205.10677","title":"Risk-Driven Design of Perception Systems","created":"2022-05-21","cited_by_count":4,"area":null},{"id":"2408.05336","title":"Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning","created":"2024-08-09","cited_by_count":4,"area":null},{"id":"2103.15938","title":"Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks","created":"2021-03-29","cited_by_count":3,"area":null},{"id":"2307.01408","title":"Multi-Predictor Fusion: Combining Learning-based and Rule-based Trajectory Predictors","created":"2023-07-03","cited_by_count":3,"area":null},{"id":"2406.10449","title":"Learning Temporal Logic Predicates from Data with Statistical Guarantees","created":"2024-06-15","cited_by_count":3,"area":null},{"id":"2412.15837","title":"Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis","created":"2024-12-20","cited_by_count":3,"area":null},{"id":"2503.02012","title":"Pretrained Embeddings as a Behavior Specification Mechanism","created":"2025-03-03","cited_by_count":3,"area":null},{"id":"2512.03491","title":"Modal Logic Neural Networks","created":"2025-12-03","cited_by_count":3,"area":null},{"id":"2303.01346","title":"Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications","created":"2023-03-02","cited_by_count":2,"area":null},{"id":"2405.11139","title":"RuleFuser: An Evidential Bayes Approach for Rule Injection in Imitation Learned Planners and Predictors for Robustness under Distribution Shifts","created":"2024-05-18","cited_by_count":2,"area":"offlinerl"},{"id":"2607.18580","title":"STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models","created":"2026-07-20","cited_by_count":2,"area":"mllm"},{"id":"2111.08733","title":"Learning Provably Robust Motion Planners Using Funnel Libraries","created":"2021-11-16","cited_by_count":1,"area":null},{"id":"2212.05200","title":"Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks","created":"2022-12-10","cited_by_count":1,"area":null},{"id":"2311.02099","title":"A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles","created":"2023-10-30","cited_by_count":1,"area":null},{"id":"2402.15893","title":"Concurrent Learning of Policy and Unknown Safety Constraints in Reinforcement Learning","created":"2024-02-24","cited_by_count":1,"area":"deeprl"},{"id":"2405.20917","title":"Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba","created":"2024-05-31","cited_by_count":1,"area":"ssm"},{"id":"2502.11352","title":"A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems","created":"2025-02-17","cited_by_count":1,"area":"driving"},{"id":"2506.01167","title":"Accelerated Learning with Linear Temporal Logic using Differentiable Simulation","created":"2025-06-01","cited_by_count":1,"area":"deeprl"},{"id":"2509.05481","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","created":"2025-09-05","cited_by_count":1,"area":null},{"id":"2603.27062","title":"Conformalized Signal Temporal Logic Inference under Covariate Shift","created":"2026-03-28","cited_by_count":1,"area":null},{"id":"2603.28426","title":"Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic","created":"2026-03-30","cited_by_count":1,"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":"2605.12651","title":"Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic","created":"2026-05-12","cited_by_count":1,"area":null},{"id":"2608.05439","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","created":"2026-08-05","cited_by_count":1,"area":null},{"id":"2202.03188","title":"Knowledge-Integrated Informed AI for National Security","created":"2022-02-04","cited_by_count":0,"area":null},{"id":"2212.11792","title":"CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications","created":"2022-11-30","cited_by_count":0,"area":null},{"id":"2403.15826","title":"Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout","created":"2024-03-23","cited_by_count":0,"area":null},{"id":"2410.02303","title":"Semantic Communication and Control Co-Design for Multi-Objective Distinct Dynamics","created":"2024-10-03","cited_by_count":0,"area":null},{"id":"2512.06973","title":"Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet","created":"2025-12-07","cited_by_count":0,"area":null},{"id":"2605.01222","title":"Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps","created":"2026-05-02","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.13625","title":"Reward Machines for Signal Temporal Logic","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2608.17087","title":"Backward through Time, Algebraically","created":"2026-08-17","cited_by_count":0,"area":null},{"id":"2609.20634","title":"PAA: The Probabilistic Allen Algebra: A Generative and Complete Probabilistic Extension of Allen's Interval Relations","created":"2026-09-17","cited_by_count":0,"area":null},{"id":"2609.31606","title":"Learning Robot Policies from Sparse Success Signals via STL-Guided Stein Variational Policy Gradient","created":"2026-09-25","cited_by_count":0,"area":"deeprl"},{"id":"2609.38381","title":"LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems","created":"2026-09-29","cited_by_count":0,"area":null},{"id":"2610.13737","title":"SafeDiSTL: Decomposing Joint Constraints for Safe Multi-Agent Reinforcement Learning","created":"2026-10-09","cited_by_count":0,"area":null},{"id":"2610.14352","title":"Class-Conditional Conformal Prediction for Signal Temporal Logic Inference with Many Classes","created":"2026-10-09","cited_by_count":0,"area":null}],"next_cursor":null}