collaborators

1 paper

cs.LO2025

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)

Luca Aceto, Antonis Achilleos, Aggeliki Chalki +1

This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is e…