No. Title Author Year
1 Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes Bozzelli, Laura et al. 2021
2 On a Temporal Logic of Prefixes and Infixes Bozzelli, Laura et al. 2020
3 Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic Bozzelli, Laura et al. 2019
4 Interval Temporal Logic for Visibly Pushdown Systems Bozzelli, Laura et al. 2019
5 Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains Bozzelli, Laura et al. 2019
6 Results on Alternating-Time Temporal Logics with Linear Past Bozzelli, Laura et al. 2018
7 Hierarchical Cost-Parity Games Bozzelli, Laura et al. 2017
8 Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption Bozzelli, Laura et al. 2017
9 Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Bozzelli, Laura et al. 2016
10 Visibly Rational Expressions Bozzelli, Laura et al. 2012
11 On Timed Alternating Simulation for Concurrent Timed Games Bozzelli, Laura et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 11


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