research
∙
04/23/2023
Alternating (In)Dependence-Friendly Logic
Hintikka and Sandu originally proposed Independence Friendly Logic (IF) ...
share
research
∙
04/23/2023
Quantifying over Trees in Monadic Second-Order Logic
Monadic Second-Order Logic (MSO) extends First-Order Logic (FO) with var...
research
∙
04/16/2021
Priority Promotion with Parysian Flair
We develop an algorithm that combines the advantages of priority promoti...
research
∙
04/13/2021
Good-for-Game QPTL: An Alternating Hodges Semantics
An extension of QPTL is considered where functional dependencies among t...
research
∙
08/10/2020
From Quasi-Dominions to Progress Measures
In this paper we revisit the approaches to the solution of parity games ...
research
∙
07/14/2019
Solving Mean-Payoff Games via Quasi Dominions
We propose a novel algorithm for the solution of mean-payoff games that ...
research
∙
09/07/2017