No. Title Author Year
1 Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic Bozzelli, Laura et al. 2019
2 Interval Temporal Logic for Visibly Pushdown Systems Bozzelli, Laura et al. 2019
3 Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions Brunello, Andrea et al. 2019
4 Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains Bozzelli, Laura et al. 2019
5 A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty Gigante, Nicola et al. 2018
6 Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking Della Monica, Dario et al. 2017
7 Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption Bozzelli, Laura et al. 2017
8 Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Bozzelli, Laura et al. 2016
9 A Model Checking Procedure for Interval Temporal Logics based on Track Representatives Molinari, Alberto et al. 2015
10 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: 10


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