Loredana Sorrentino

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hierarchical cost-parity games 1515.68201	2023-02-03	Paper
Results on alternating-time temporal logics with linear past	2022-05-28	Paper
scientific article; zbMATH DE number 7439738 (Why is no real title available?)	2021-12-07	Paper
Improving parity games in practice Annals of Mathematics and Artificial Intelligence	2021-08-02	Paper
Hierarchical cost-parity games Theoretical Computer Science	2020-11-06	Paper
Alternating-time temporal logics with linear past Theoretical Computer Science	2020-04-21	Paper
Model-checking graded computation-tree logic with finite path semantics Theoretical Computer Science	2020-01-16	Paper
Cycle detection in computation tree logic Information and Computation	2018-09-27	Paper
Additional winning strategies in reachability games Fundamenta Informaticae	2018-05-03	Paper
Reasoning about graded strategy quantifiers Information and Computation	2018-03-21	Paper
On promptness in parity games Fundamenta Informaticae	2016-05-11	Paper
On promptness in parity games Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper

Research outcomes over time

This page was built for person: Loredana Sorrentino