LIPIcs, Volume 318, TIME 2024

• Pietro Sala, Michael Sioutis, and Fusheng Wang LIPIcs, Volume 318, TIME 2024, Complete Volume 10.4230/LIPIcs.TIME.2024
• Pietro Sala, Michael Sioutis, and Fusheng Wang Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TIME.2024.0
• Guido Sciavicco A General Logical Approach to Learning from Time Series (Invited Talk) 10.4230/LIPIcs.TIME.2024.1
• Sophie Pinchinat Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk) 10.4230/LIPIcs.TIME.2024.2
• Przemysław Andrzej Wałęga Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk) 10.4230/LIPIcs.TIME.2024.3
• Johann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, and Franziska S. Hollauf Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles 10.4230/LIPIcs.TIME.2024.4
• Ivelina Stoyanova, Nicolas Museux, Sao Mai Nguyen, and David Filliat Open the Chests: An Environment for Activity Recognition and Sequential Decision Problems Using Temporal Logic 10.4230/LIPIcs.TIME.2024.5
• Periklis Mantenoglou and Alexander Artikis Extending the Range of Temporal Specifications of the Run-Time Event Calculus 10.4230/LIPIcs.TIME.2024.6
• Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, and Ionel Eduard Stan Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation 10.4230/LIPIcs.TIME.2024.7
• Ajdin Sumic and Thierry Vidal A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with Uncertainty 10.4230/LIPIcs.TIME.2024.8
• Luke Hunsberger and Roberto Posenato A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty 10.4230/LIPIcs.TIME.2024.9
• Florence Dupin de Saint-Cyr, Anne-Gwenn Bosser, Benjamin Callac, and Eric Maisel What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives 10.4230/LIPIcs.TIME.2024.10
• Luke Hunsberger and Roberto Posenato Faster Algorithm for Converting an STNU into Minimal Dispatchable Form 10.4230/LIPIcs.TIME.2024.11
• Luke Hunsberger and Roberto Posenato Robust Execution of Probabilistic STNs 10.4230/LIPIcs.TIME.2024.12
• Ajdin Sumic, Thierry Vidal, Andrea Micheli, and Alessandro Cimatti Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 10.4230/LIPIcs.TIME.2024.13
• Francesco Chiariello Learning Temporal Properties from Event Logs via Sequential Analysis 10.4230/LIPIcs.TIME.2024.14
• Jean-François Condotta and Yakoub Salhi A Framework for Assessing Inconsistency in Disjunctive Temporal Problems 10.4230/LIPIcs.TIME.2024.15
• Eric Alsmann and Florian Bruse Real-Time Higher-Order Recursion Schemes 10.4230/LIPIcs.TIME.2024.16
• Ibrahim Delibasoglu and Fredrik Heintz Time Series Anomaly Detection Leveraging MSE Feedback with AutoEncoder and RNN 10.4230/LIPIcs.TIME.2024.17
• Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, and Adriano Peron Full Characterisation of Extended CTL* 10.4230/LIPIcs.TIME.2024.18
• Massimo Benerecetti, Marco Faella, and Fabio Mogavero Model Checking Linear Temporal Properties on Polyhedral Systems 10.4230/LIPIcs.TIME.2024.19
• Giorgio Lazzarinetti, Sara Manzoni, Italo Zoppis, and Riccardo Dondi FastMinTC+: A Fast and Effective Heuristic for Minimum Timeline Cover on Temporal Networks 10.4230/LIPIcs.TIME.2024.20