| 2024 | A More Efficient and Informed Algorithm to Check Weak Controllability of Simple Temporal Networks with Uncertainty. | Adin Sumic, Thierry Vidal |
| 2024 | Open the Chests: An Environment for Activity Recognition and Sequential Decision Problems Using Temporal Logic. | Ivelina Stoyanova, Nicolas Museux, Sao Mai Nguyen, David Filliat |
| 2024 | A General Logical Approach to Learning from Time Series (Invited Talk). | Guido Sciavicco |
| 2024 | What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives. | Florence Dupin de Saint-Cyr, Anne-Gwenn Bosser, Benjamin Callac, Eric Maisel |
| 2024 | Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk). | Sophie Pinchinat |
| 2024 | Extending the Range of Temporal Specifications of the Run-Time Event Calculus. | Periklis Mantenoglou, Alexander Artikis |
| 2024 | FastMinTC+: A Fast and Effective Heuristic for Minimum Timeline Cover on Temporal Networks. | Giorgio Lazzarinetti, Sara Manzoni, Italo Zoppis, Riccardo Dondi |
| 2024 | Robust Execution of Probabilistic STNs. | Luke Hunsberger, Roberto Posenato |
| 2024 | Faster Algorithm for Converting an STNU into Minimal Dispatchable Form. | Luke Hunsberger, Roberto Posenato |
| 2024 | A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty. | Luke Hunsberger, Roberto Posenato |
| 2024 | Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles. | Johann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, Franziska S. Hollauf |
| 2024 | Time Series Anomaly Detection Leveraging MSE Feedback with AutoEncoder and RNN. | Ibrahim Delibasoglu, Fredrik Heintz |
| 2024 | A Framework for Assessing Inconsistency in Disjunctive Temporal Problems. | Jean-Franois Condotta, Yakoub Salhi |
| 2024 | Learning Temporal Properties from Event Logs via Sequential Analysis. | Francesco Chiariello |
| 2024 | Model Checking Linear Temporal Properties on Polyhedral Systems. | Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2024 | Full Characterisation of Extended CTL. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2024 | Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. | Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan |
| 2024 | Real-Time Higher-Order Recursion Schemes. | Eric Alsmann, Florian Bruse |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2023 | Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks. | Michael Sioutis |
| 2023 | Bounded-Memory Runtime Enforcement of Timed Properties. | Saumya Shankar, Srinivas Pinisetty, Thierry Jron |
| 2023 | Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract). | Marco Slzer, Silvia Beddar-Wiesing |
| 2023 | A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). | Yakoub Salhi, Michael Sioutis |
| 2023 | Prime Scenarios in Qualitative Spatial and Temporal Reasoning. | Yakoub Salhi, Michael Sioutis |
| 2023 | Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). | Laura Nenzi |