TIME 2026 Accepted Papers
Discrete Linear Ensemble Logic: Decidability, Expressiveness, and Axiomatization
Revisiting the Expressiveness of Metric Temporal Logic
Towards Reactive Synthesis for First-Order Linear Temporal Logic
A Formal Model for Forensically Sound Timestamp Normalization
Core Fragments of Compass Logic
The Σ-Chain Product: A Succinct Model of Automata (De)Composition
A Multi-Scale Process for Mining and Abstracting Environmental Spatiotemporal Graphs
Social Networks Through Time: Completeness of Temporal Network Logic
The Satisfiability Problem of Temporal-Spatial Logics over Quasi-Temporal Graphs
Towards Automating HistMSO
Multi-Agent Path Finding with Tasks under Time Uncertainty
Querying Interval-Based Temporal Data with SPARQL
Dynamic Quantitative Skill Distribution in Multi-Agent Temporal Planning as SMT
Earth Observation Satellite Constellation Planning and Scheduling with Matheuristics and Metaheuristics Combination
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
A Unified Framework for Runtime Verification and Model-Based Diagnosis in Lola