Uniud FR

2/2016 - Model Checking the Logic of Allen’s Relations Meets and Started-by is PNP-Complete Situé dans Ateneo / … / Pubblicazioni / Preprints

3/2016 - Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Situé dans Ateneo / … / Pubblicazioni / Preprints

2/2017 - An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions Situé dans Ateneo / … / Pubblicazioni / Preprints

3/2017 - On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions Situé dans Ateneo / … / Pubblicazioni / Preprints

4/2017 - Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption Situé dans Ateneo / … / Pubblicazioni / Preprints

5/2017 - Work-in-Progress Proceedings of the Workshop on "Logical Frameworks and Meta-Languages: Theory and Practice" Situé dans Ateneo / … / Pubblicazioni / Preprints

1/2018 - Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains Situé dans Ateneo / … / Pubblicazioni / Preprints

2/2018 - Complexity of timeline-based planning over dense temporal domains: exploring the middle ground Situé dans Ateneo / … / Pubblicazioni / Preprints

3/2018 - Timeline-based planning over dense temporal domains Situé dans Ateneo / … / Pubblicazioni / Preprints

PR_PQ_GEST DOCUM_00.doc Situé dans Ateneo / … / Procedure / ATENEO

Résultats de recherche