research
∙
06/29/2023
Complexity results for modal logic with recursion via translations and tableaux
This paper studies the complexity of classical modal logics and of their...
share
research
∙
09/21/2022
Complexity through Translations for Modal Logic with Recursion
This paper studies the complexity of classical modal logics and of their...
research
∙
02/23/2022
Monitoring hyperproperties with circuits
This paper presents an extension of the safety fragment of Hennessy-Miln...
research
∙
05/03/2021
In search of lost time: Axiomatising parallel composition in process algebras
This survey reviews some of the most recent achievements in the saga of ...
research
∙
06/09/2020
An axiomatization of verdict equivalence over regular monitors
Monitors are a key tool in the field of runtime verification, where they...
research
∙
02/14/2019