40 citations · 44 across the 19 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Determinizing Monitors for HML with Recursion
Luca Aceto, Antonis Achilleos, Adrian Francalanza +2
We examine the determinization of monitors for HML with recursion. We demonstrate that every monitor is equivalent to a deterministic one, which is at most doubly exponential in si…
cs.LO2016
The Completeness Problem for Modal Logic
Antonis Achilleos
We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness…