HTML Export for TIME 2024

Copy to Clipboard Download

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

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode