Cover Image

Controller Synthesis for Timeline-based Games

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Acampora, Renato, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Picotti, Valentino
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
by: Acampora, Renato, et al.
Published: (2024)

A first-order logic characterization of safety and co-safety languages
by: Cimatti, Alessandro, et al.
Published: (2022)

Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
by: Brunello, Andrea, et al.
Published: (2025)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
by: Brunello, Andrea, et al.
Published: (2025)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
by: Artale, Alessandro, et al.
Published: (2022)

A General Automata Model for First-Order Temporal Logics (Extended Version)
by: Geatti, Luca, et al.
Published: (2024)

Synthesis of timeline-based planning strategies avoiding determinization
by: Della Monica, Dario, et al.
Published: (2025)

Automata-less Monitoring via Trace-Checking (Extended Version)
by: Brunello, Andrea, et al.
Published: (2025)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
by: Chiari, Michele, et al.
Published: (2024)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
by: Geatti, Luca, et al.
Published: (2024)

Counterfactual Scenarios for Automated Planning
by: Gigante, Nicola, et al.
Published: (2025)

TimelineReasoner: Advancing Timeline Summarization with Large Reasoning Models
by: Zhang, Liancheng, et al.
Published: (2026)

Federated Timeline Synthesis: Scalable and Private Methodology For Model Training and Deployment
by: Renc, Pawel, et al.
Published: (2025)

Timeline-based Sentence Decomposition with In-Context Learning for Temporal Fact Extraction
by: Chen, Jianhao, et al.
Published: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

UW-BioNLP at ChemoTimelines 2025: Thinking, Fine-Tuning, and Dictionary-Enhanced LLM Systems for Chemotherapy Timeline Extraction
by: Zhang, Tianmai M., et al.
Published: (2025)

Game and Reference: Policy Combination Synthesis for Epidemic Prevention and Control
by: Tan, Zhiyi, et al.
Published: (2024)

A Timeline and Analysis for Representation Plasticity in Large Language Models
by: Kannan, Akshat
Published: (2024)

Reading Between the Timelines: RAG for Answering Diachronic Questions
by: Lau, Kwun Hang, et al.
Published: (2025)

Interpretable Transformation and Analysis of Timelines through Learning via Surprisability
by: Mokryn, Osnat, et al.
Published: (2025)

Bayesian Optimization-based Search for Agent Control in Automated Game Testing
by: Celemin, Carlos
Published: (2025)

LexChronos: An Agentic Framework for Structured Event Timeline Extraction in Indian Jurisprudence
by: Tummepalli, Anka Chandrahas, et al.
Published: (2026)

Deep Learning-Based Control Optimization for Glass Bottle Forming
by: Pujatti, Mattia, et al.
Published: (2025)

Timeline and Boundary Guided Diffusion Network for Video Shadow Detection
by: Zhou, Haipeng, et al.
Published: (2024)

CEHR-GPT: Generating Electronic Health Records with Chronological Patient Timelines
by: Pang, Chao, et al.
Published: (2024)

A Large-Language Model Framework for Relative Timeline Extraction from PubMed Case Reports
by: Wang, Jing, et al.
Published: (2025)

ROS-Causal: A ROS-based Causal Analysis Framework for Human-Robot Interaction Applications
by: Castri, Luca, et al.
Published: (2024)

The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference
by: Jullien, Maël, et al.
Published: (2025)

Reasoning with Natural Language Explanations
by: Valentino, Marco, et al.
Published: (2024)

TLEX: An Efficient Method for Extracting Exact Timelines from TimeML Temporal Graphs
by: Ocal, Mustafa, et al.
Published: (2024)

An Efficient Ground-aerial Transportation System for Pest Control Enabled by AI-based Autonomous Nano-UAVs
by: Crupi, Luca, et al.
Published: (2025)

Causality-enhanced Decision-Making for Autonomous Mobile Robots in Dynamic Environments
by: Castri, Luca, et al.
Published: (2025)

Train on Validation (ToV): Fast data selection with applications to fine-tuning
by: Jain, Ayush, et al.
Published: (2025)

Scaling laws for learning with real and surrogate data
by: Jain, Ayush, et al.
Published: (2024)

Learning to Reason Over Time: Timeline Self-Reflection for Improved Temporal Reasoning in Language Models
by: Bazaga, Adrián, et al.
Published: (2025)

HyperTransport: Amortized Conditioning of T2I Generative Models
by: Maiorca, Valentino, et al.
Published: (2026)

Metric Based Few-Shot Graph Classification
by: Crisostomi, Donato, et al.
Published: (2022)

Pay Attention to What and Where? Interpretable Feature Extractor in Vision-based Deep Reinforcement Learning
by: Pham, Tien, et al.
Published: (2025)

DVM: Towards Controllable LLM Agents in Social Deduction Games
by: Zhang, Zheng, et al.
Published: (2025)

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
by: Sun, Qiang, et al.
Published: (2025)