Federico Chesani

Evaluating compliance: from LTL to abductive logic programming.

2015 · Open Research (University of Surrey)

The compliance verification task amounts to establishing if the execution of a system, given in terms of observed events, does re-spect a given property. In the past both the frameworks of Temporal Logics and Logic …