Synthesis of timeline-based planning strategies avoiding determinization
Fuente:
arXiv
Guardado en:
| Autores principales: | Della Monica, Dario, Montanari, Angelo, Sala, Pietro |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Controller Synthesis for Timeline-based Games
por: Acampora, Renato, et al.
Publicado: (2023)
por: Acampora, Renato, et al.
Publicado: (2023)
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
por: Acampora, Renato, et al.
Publicado: (2024)
por: Acampora, Renato, et al.
Publicado: (2024)
Temporal reasoning for timeline summarisation in social media
por: Song, Jiayu, et al.
Publicado: (2024)
por: Song, Jiayu, et al.
Publicado: (2024)
Combining Hierachical VAEs with LLMs for clinically meaningful timeline summarisation in social media
por: Song, Jiayu, et al.
Publicado: (2024)
por: Song, Jiayu, et al.
Publicado: (2024)
Experience-driven discovery of planning strategies
por: He, Ruiqi, et al.
Publicado: (2024)
por: He, Ruiqi, et al.
Publicado: (2024)
Individual differences in the cognitive mechanisms of planning strategy discovery
por: He, Ruiqi, et al.
Publicado: (2025)
por: He, Ruiqi, et al.
Publicado: (2025)
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
por: Brunello, Andrea, et al.
Publicado: (2025)
por: Brunello, Andrea, et al.
Publicado: (2025)
A first-order logic characterization of safety and co-safety languages
por: Cimatti, Alessandro, et al.
Publicado: (2022)
por: Cimatti, Alessandro, et al.
Publicado: (2022)
A Second-Order Perspective on Model Compositionality and Incremental Learning
por: Porrello, Angelo, et al.
Publicado: (2024)
por: Porrello, Angelo, et al.
Publicado: (2024)
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
por: Akshay, S., et al.
Publicado: (2024)
por: Akshay, S., et al.
Publicado: (2024)
Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
por: Brunello, Andrea, et al.
Publicado: (2025)
por: Brunello, Andrea, et al.
Publicado: (2025)
Policy-shaped prediction: avoiding distractions in model-based reinforcement learning
por: Hutson, Miles, et al.
Publicado: (2024)
por: Hutson, Miles, et al.
Publicado: (2024)
Two-step dynamic obstacle avoidance
por: Hart, Fabian, et al.
Publicado: (2023)
por: Hart, Fabian, et al.
Publicado: (2023)
Chemical reasoning in LLMs unlocks strategy-aware synthesis planning and reaction mechanism elucidation
por: Bran, Andres M, et al.
Publicado: (2025)
por: Bran, Andres M, et al.
Publicado: (2025)
Train on Validation (ToV): Fast data selection with applications to fine-tuning
por: Jain, Ayush, et al.
Publicado: (2025)
por: Jain, Ayush, et al.
Publicado: (2025)
Scaling laws for learning with real and surrogate data
por: Jain, Ayush, et al.
Publicado: (2024)
por: Jain, Ayush, et al.
Publicado: (2024)
Pay Attention to What and Where? Interpretable Feature Extractor in Vision-based Deep Reinforcement Learning
por: Pham, Tien, et al.
Publicado: (2025)
por: Pham, Tien, et al.
Publicado: (2025)
Vision-aided UAV navigation and dynamic obstacle avoidance using gradient-based B-spline trajectory optimization
por: Xu, Zhefan, et al.
Publicado: (2022)
por: Xu, Zhefan, et al.
Publicado: (2022)
Guessing human intentions to avoid dangerous situations in caregiving robots
por: Zapata, Noé, et al.
Publicado: (2024)
por: Zapata, Noé, et al.
Publicado: (2024)
Promises and Pitfalls of Threshold-based Auto-labeling
por: Vishwakarma, Harit, et al.
Publicado: (2022)
por: Vishwakarma, Harit, et al.
Publicado: (2022)
Reinforcement learning based local path planning for mobile robot
por: Gok, Mehmet, et al.
Publicado: (2023)
por: Gok, Mehmet, et al.
Publicado: (2023)
Dataless Weight Disentanglement in Task Arithmetic via Kronecker-Factored Approximate Curvature
por: Porrello, Angelo, et al.
Publicado: (2026)
por: Porrello, Angelo, et al.
Publicado: (2026)
Simulation of collision avoidance behavior in crowd movement by data-driven approach
por: Liang, Xuanwen, et al.
Publicado: (2026)
por: Liang, Xuanwen, et al.
Publicado: (2026)
SoK: Security and Privacy of AI Agents for Blockchain
por: Romandini, Nicolò, et al.
Publicado: (2025)
por: Romandini, Nicolò, et al.
Publicado: (2025)
Automatic parking planning control method based on improved A* algorithm
por: Zhao, Yuxuan
Publicado: (2024)
por: Zhao, Yuxuan
Publicado: (2024)
Guardrails for avoiding harmful medical product recommendations and off-label promotion in generative AI models
por: Lopez-Martinez, Daniel
Publicado: (2024)
por: Lopez-Martinez, Daniel
Publicado: (2024)
A Statistical Framework for Algorithmic Collective Action with Multiple Collectives
por: Battiloro, Claudio, et al.
Publicado: (2026)
por: Battiloro, Claudio, et al.
Publicado: (2026)
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
por: van der Hoek, Gerben, et al.
Publicado: (2025)
por: van der Hoek, Gerben, et al.
Publicado: (2025)
MOTIF: Multi-strategy Optimization via Turn-based Interactive Framework
por: Kiet, Nguyen Viet Tuan, et al.
Publicado: (2025)
por: Kiet, Nguyen Viet Tuan, et al.
Publicado: (2025)
Merging plans with incomplete knowledge about actions and goals through an agent-based reputation system
por: Carbo, Javier, et al.
Publicado: (2024)
por: Carbo, Javier, et al.
Publicado: (2024)
Input-to-State Stable Coupled Oscillator Networks for Closed-form Model-based Control in Latent Space
por: Stölzle, Maximilian, et al.
Publicado: (2024)
por: Stölzle, Maximilian, et al.
Publicado: (2024)
Epistemic Constitutionalism Or: how to avoid coherence bias
por: Loi, Michele
Publicado: (2026)
por: Loi, Michele
Publicado: (2026)
The Impact of Persona-based Political Perspectives on Hateful Content Detection
por: Civelli, Stefano, et al.
Publicado: (2025)
por: Civelli, Stefano, et al.
Publicado: (2025)
Synthesizing world models for bilevel planning
por: Ahmed, Zergham, et al.
Publicado: (2025)
por: Ahmed, Zergham, et al.
Publicado: (2025)
On shallow planning under partial observability
por: Lefebvre, Randy, et al.
Publicado: (2024)
por: Lefebvre, Randy, et al.
Publicado: (2024)
Primitive Agentic First-Order Optimization
por: Sala, R.
Publicado: (2024)
por: Sala, R.
Publicado: (2024)
Feasible strategies for conflict resolution within intuitionistic fuzzy preference-based conflict situations
por: Lang, Guangming, et al.
Publicado: (2026)
por: Lang, Guangming, et al.
Publicado: (2026)
Hierarchical Path-planning from Speech Instructions with Spatial Concept-based Topometric Semantic Mapping
por: Taniguchi, Akira, et al.
Publicado: (2022)
por: Taniguchi, Akira, et al.
Publicado: (2022)
A multi-strategy improved snake optimizer for three-dimensional UAV path planning and engineering problems
por: Li, Genliang, et al.
Publicado: (2025)
por: Li, Genliang, et al.
Publicado: (2025)
COSMOS: Predictable and Cost-Effective Adaptation of LLMs
por: Wang, Jiayu, et al.
Publicado: (2025)
por: Wang, Jiayu, et al.
Publicado: (2025)
Ejemplares similares
-
Controller Synthesis for Timeline-based Games
por: Acampora, Renato, et al.
Publicado: (2023) -
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
por: Acampora, Renato, et al.
Publicado: (2024) -
Temporal reasoning for timeline summarisation in social media
por: Song, Jiayu, et al.
Publicado: (2024) -
Combining Hierachical VAEs with LLMs for clinically meaningful timeline summarisation in social media
por: Song, Jiayu, et al.
Publicado: (2024) -
Experience-driven discovery of planning strategies
por: He, Ruiqi, et al.
Publicado: (2024)