No. Title Author Year
1 Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker Geatti, Luca et al. 2021
2 Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes Bozzelli, Laura et al. 2021
3 Complexity of Qualitative Timeline-Based Planning Della Monica, Dario et al. 2020
4 On a Temporal Logic of Prefixes and Infixes Bozzelli, Laura et al. 2020
5 Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic Bozzelli, Laura et al. 2019
6 Interval Temporal Logic for Visibly Pushdown Systems Bozzelli, Laura et al. 2019
7 Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions Brunello, Andrea et al. 2019
8 Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains Bozzelli, Laura et al. 2019
9 A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty Gigante, Nicola et al. 2018
10 Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking Della Monica, Dario et al. 2017
11 Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption Bozzelli, Laura et al. 2017
12 Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Bozzelli, Laura et al. 2016
13 A Model Checking Procedure for Interval Temporal Logics based on Track Representatives Molinari, Alberto et al. 2015
14 Decidability of the Interval Temporal Logic ABB over the Natural Numbers Montanari, Angelo et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 14

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI