{"total":17,"rows":[{"id":"2302.11649","title":"Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments","created":"2023-02-22","cited_by_count":53,"area":null},{"id":"2403.02274","title":"NatSGD: A Dataset with Speech, Gestures, and Demonstrations for Robot Learning in Natural Human-Robot Interaction","created":"2024-03-04","cited_by_count":4,"area":null},{"id":"2305.08319","title":"Model Checking Strategies from Synthesis Over Finite Traces","created":"2023-05-15","cited_by_count":3,"area":null},{"id":"2401.12131","title":"NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis","created":"2024-01-22","cited_by_count":3,"area":null},{"id":"2510.05486","title":"Language Model as Planner and Formalizer under Constraints","created":"2025-10-07","cited_by_count":3,"area":null},{"id":"2410.17161","title":"Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence","created":"2024-10-22","cited_by_count":2,"area":null},{"id":"2505.12107","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","created":"2025-05-17","cited_by_count":2,"area":null},{"id":"2309.16960","title":"On Generating Explanations for Reinforcement Learning Policies: An Empirical Study","created":"2023-09-29","cited_by_count":1,"area":null},{"id":"2403.13741","title":"Hyper Strategy Logic","created":"2024-03-20","cited_by_count":1,"area":null},{"id":"2509.02491","title":"RNN Generalization to Omega-Regular Languages","created":"2025-09-02","cited_by_count":1,"area":null},{"id":"2509.24616","title":"LTL$_f$ Learning Meets Boolean Set Cover","created":"2025-09-29","cited_by_count":1,"area":null},{"id":"2601.23169","title":"Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning","created":"2026-01-30","cited_by_count":1,"area":null},{"id":"2603.05694","title":"Warm Starting State-Space Models with Automata Learning","created":"2026-03-05","cited_by_count":1,"area":null},{"id":"2502.13621","title":"Decentralized Planning Using Probabilistic Hyperproperties","created":"2025-02-19","cited_by_count":0,"area":null},{"id":"2502.16718","title":"NatSGLD: A Dataset with Speech, Gesture, Logic, and Demonstration for Robot Learning in Natural Human-Robot Interaction","created":"2025-02-23","cited_by_count":0,"area":null},{"id":"2512.21596","title":"Quantitative Verification of Omega-regular Properties in Probabilistic Programming","created":"2025-12-25","cited_by_count":0,"area":null},{"id":"2606.18519","title":"As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture","created":"2026-06-16","cited_by_count":0,"area":null}],"next_cursor":null}