UNIUD - Università degli Studi di Udine

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

3/2016 - Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Si trova in Ateneo / … / Pubblicazioni / Preprints

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

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

4/2017 - Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption Si trova in Ateneo / … / Pubblicazioni / Preprints

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

1/2018 - Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains Si trova in Ateneo / … / Pubblicazioni / Preprints

2/2018 - Complexity of timeline-based planning over dense temporal domains: exploring the middle ground Si trova in Ateneo / … / Pubblicazioni / Preprints

3/2018 - Timeline-based planning over dense temporal domains Si trova in Ateneo / … / Pubblicazioni / Preprints

PR_PQ_GEST DOCUM_00.doc Si trova in Ateneo / … / Procedure / ATENEO

Risultati della ricerca