40 citations · 44 across the 19 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
A Topological Framework for Finite Behavioural Observations and Verification
Antonis Achilleos, Vasiliki Kyriakou
Formal verification and monitorability are based on finite observations, which allow properties to be verified from finite information about system behaviour. We study such observa…
cs.LO2026
An Undecidability Proof for the Plan Existence Problem
Antonis Achilleos
The plan existence problem asks, given a goal in the form of a formula in modal logic, an initial epistemic state (a pointed Kripke model), and a set of epistemic actions, whether…